Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 8 de septiembre de 2005 |
| ISBN13 | 9780521019453 |
| Editores | Cambridge University Press |
| Páginas | 256 |
| Dimensiones | 242 × 168 × 25 mm · 440 g |
| Lengua | Inglés |
| Editor de series | Abramsky, S. |
| Editor de series | Aczel, P. H. |
| Editor de series | Bakker, J. W. De |
| Editor de series | Gurevich, Y. |
| Editor de series | Tucker, J. V. |
| Editor de series | Van Rijsbergen, C. J. |