Free Choice Petri Nets
(Bog, Paperback / softback, Engelsk)
Forlag:
Cambridge University Press
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9780521019453
- Se flere detaljer ▼
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Cambridge University Press |
| Forfattere | Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 08-09-2005 |
| Første udgivelsesår | 2005 |
| Serie | Cambridge Tracts in Theoretical Computer Science |
| Illustrationer | Worked examples or Exercises; 64 Line drawings, unspecified |
| Originalsprog | United Kingdom |
| Sideantal | 256 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 256 pages, Worked examples or Exercises; 64 Line drawings, unspecified |
| Mål | 168 x 242 x 25 |
| ISBN-13 / EAN-13 | 9780521019453 |