Free Choice Petri Nets
(Part of the Cambridge Tracts in Theoretical Computer Science Series)
No Customer Reviews
Select Format
Select Condition 
Book Overview
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.
Format:Paperback
Language:English
ISBN:0521019451
ISBN13:9780521019453
Release Date:September 2005
Publisher:Cambridge University Press
Length:256 Pages
Weight:0.91 lbs.
Dimensions:0.5" x 6.7" x 9.6"
Customer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
