Petri nets : fundamental models, verification, and applications /
Diaz, Michel,1945-
London ; Hoboken, N.J. : ISTE/Wiley,
2009.
Includes bibliographical references and index.
Electronic data processing
Parallel processing (Electronic computers)
System design.
Petri nets.