|
libcats.org
Free choice Petri netsJorg Desel, Javier EsparzaPetri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Справочник строителя. Строительная техника, конструкции и технологии (в 2-х томах). Сборник под ред. X.НестлеАвторы: Фрей Хансйорг, Херрманн Август, Краузевиц Гюнтер, Кун Фолъкер, Лилих Иоахим, Нестле Ханс, Путч Вольфганг, Шулъц Петер, Трауб Мартин, Вайбель Хелъмут, Вернер Хорст. Перевод с немецкого А.К.Соловьева.Категория: Строительство. Архитектура
7.80 Mb
#3
Методика работы с детьми группы рискаШульга Т.И., Слот В., Спаниярд Х.Категория: Педагогика в помощь учителю
164 Kb
#7
Система плановых и контрольно-аналитических показателей эффективности инноваций. Экономическое содержание и методика расчетаКрылов Э.И., Оводенко А.А., Губкин Л.И.Категория: Менеджмент и организация управления
226 Kb
#9
Математика для старшеклассников. Задачи повышенной сложностиСупрун В.П.Категория: M_Mathematics, MSch_School-level
905 Kb
#10
HTML 5.0 и CSS 3.0. Web - разработка по стандартам нового поколенияХоган Б.Категория: Интернет, Программирование.
9.77 Mb
|
|