Produktinformation
Petri 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.Produktkennzeichnungen
HerausgeberC. J. Van Rijsbergen
ISBN-100521019451
ISBN-139780521019453
eBay Product ID (ePID)67858528
Produkt Hauptmerkmale
VerlagCambridge University Press
Erscheinungsjahr2005
Anzahl der Seiten256 Seiten
PublikationsnameFree Choice Petri Nets
SpracheEnglisch
ProduktartLehrbuch
AutorJorg Desel
FormatTaschenbuch
Zusätzliche Produkteigenschaften
HörbuchNo
MitautorJavier Esparza
InhaltsbeschreibungPaperback
Item Height1cm
Item Length24cm
Item Weight448g