Conte aos seus amigos sobre este 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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 8 de setembro de 2005 |
| ISBN13 | 9780521019453 |
| Editoras | Cambridge University Press |
| Páginas | 256 |
| Dimensões | 242 × 168 × 25 mm · 440 g |
| Idioma | Inglês |
| Editor de séries | Abramsky, S. |
| Editor de séries | Aczel, P. H. |
| Editor de séries | Bakker, J. W. De |
| Editor de séries | Gurevich, Y. |
| Editor de séries | Tucker, J. V. |
| Editor de séries | Van Rijsbergen, C. J. |