Jorg Desel (Humboldt-Universitat zu Berlin), Javier Esparza (University of Edinburgh)

Free Choice Petri Nets

Herausgeber: Rijsbergen, C. J. van

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Cambridge Tracts in Theoretical Computer Science
• Verlag: Cambridge University Press
• Seitenzahl: 256
• Erscheinungstermin: 9. August 2005
• Englisch
• Abmessung: 244mm x 170mm x 14mm
• Gewicht: 440g
• ISBN-13: 9780521019453
• ISBN-10: 0521019451
• Artikelnr.: 22176024

Inhaltsangabe

1. Introduction
2. Analysis techniques for petri nets
3. S-systems and T-systems
4. Liveness in free choice
5. The coverability theorems
6. The rank theorem
7. Reduction and synthesis
8. Home markings
9. Reachability and shortest sequences
10. Generalizations
Index
List of symbols
List of main results.