Petri Nets

Fundamental Models, Verification and Applications
Herausgeber: Diaz, Michel

• Gebundenes Buch

Produktbeschreibung

Translation of: Les reseaux de Petri, published in 2001; and: Verification et mise en uvre des reseaux de Petri, published in 2003.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Wiley
• Seitenzahl: 656
• Erscheinungstermin: 1. Dezember 2008
• Englisch
• Abmessung: 236mm x 155mm x 38mm
• Gewicht: 1021g
• ISBN-13: 9781848210790
• ISBN-10: 1848210795
• Artikelnr.: 25948476

Autorenporträt

Michel Diaz is director of research at the National Center of Scientific Research (CNRS), Paris, France and leads the critical computer systems research department at LAAS-CNRS, Toulouse.