
Tell your friends about this item:
Free Choice Petri Nets - Cambridge Tracts in Theoretical Computer Science
Desel, Jorg (Humboldt-Universitat zu Berlin)
Free Choice Petri Nets - Cambridge Tracts in Theoretical Computer Science
Desel, Jorg (Humboldt-Universitat zu Berlin)
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. 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.
256 pages, 64 b/w illus. 10 exercises
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | September 8, 2005 |
ISBN13 | 9780521019453 |
Publishers | Cambridge University Press |
Pages | 256 |
Dimensions | 242 × 168 × 25 mm · 440 g |
Language | English |
Series Editor | Abramsky, S. |
Series Editor | Aczel, P. H. |
Series Editor | Bakker, J. W. De |
Series Editor | Gurevich, Y. |
Series Editor | Tucker, J. V. |
Series Editor | Van Rijsbergen, C. J. |
Show all