What do you think?
Rate this book
Cambridge Tracts in Theoretical Computer Science
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) by Jorg Desel
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. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invarients, siphons, traps and many other important analysis techniques.The material is organised along the lines of a course, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.
Paperback
First published January 27, 1995
4 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.