ebrary, Inc, & Diaz, M. (2009). Petri nets: Fundamental models, verification and applications. ISTE ; John Wiley and Sons.

ebrary, Inc, and Michel Diaz. Petri Nets: Fundamental Models, Verification and Applications. London : Hoboken, NJ: ISTE ; John Wiley and Sons, 2009.

ebrary, Inc, and Michel Diaz. Petri Nets: Fundamental Models, Verification and Applications. ISTE ; John Wiley and Sons, 2009.