|
|
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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Деловое общение и деловая этикаАвтор: Зарецкая Е.Н.Категория: Менеджмент управление логистика
Размер книги: 558 Kb
Hampton Roads 1862: Clash of the IroncladsАвтор: Angus Konstam, Автор: Adam HookКатегория: Исторические
Размер книги: 42.98 Mb
Wireless Communications Research TrendsАвтор: Tong S. LeeКатегория: eLearning_book, information_technologies
Размер книги: 3.85 Mb
Authentic Relationships in Group Care for Infants and Toddlers-Resources for Infant Educarers (RIE) Principles into PracticeАвтор: Stephanie Petrie, Автор: Sue OwenКатегория: Математика, Алгебра
Размер книги: 1.15 Mb
|
|
|