|
|
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
Только что пользователи скачали эти книги:
Индивидуальный предприниматель. Как платить налоги?Автор: С. М. РюминКатегория: Бухгалтеру
Размер книги: 2.13 Mb
Information Visualization, Second Edition: Perception for Design (Interactive Technologies)Автор: Colin Ware
Размер книги: 37.20 Mb
Using Designed Experiments to Shrink Health Care CostsАвтор: M. Daniel Sloan
Размер книги: 28.97 Mb
A Farewell to Arms (Cliffs Notes)Автор: Adam SextonКатегория: История, Военная история
Размер книги: 1.44 Mb
Inductive Reasoning: Experimental, Developmental, and Computational ApproachesАвтор: Aidan Feeney, Автор: Evan HeitКатегория: Математика, Вычислительная математика
Размер книги: 2.66 Mb
Handbook of Chronic Depression: Diagnosis and Therapeutic Management (Medical Psychiatry, 25)Автор: Jonathan E. Alpert, Автор: Maurizio FavaКатегория: Психология
Размер книги: 2.33 Mb
|
|
|