Gebundenes Buch

Petri Nets

Fundamental Models, Verification and Applications

Herausgeber: Diaz, Michel

Beschreibung

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

Autor

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.

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