Stock image for illustration purposes only - book cover, edition or condition may vary.
Free Choice Petri Nets
Jorg Desel
€ 49.59
FREE Delivery in Ireland
Description for Free Choice Petri Nets
Paperback. Petri nets are a model for the analysis of concurrent systems. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 256 pages, 64 b/w illus. 10 exercises. BIC Classification: PBCD; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 14. Weight in Grams: 410.
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, ... Read more
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, ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Cambridge University Press United Kingdom
Number of pages
256
Condition
New
Series
Cambridge Tracts in Theoretical Computer Science
Signed by the author
;Yes
Number of Pages
256
Place of Publication
Cambridge, United Kingdom
ISBN
9780521019453
SKU
V9780521019453
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-10
Reviews for Free Choice Petri Nets