Petri Nets: Fundamental Models, Verification and ApplicationsISBN: 978-1-84821-079-0
Hardcover
656 pages
June 2009, Wiley-ISTE
|
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.