Petri nets for systems engineering - a guide to modeling, verification, and applications

By C. Girault, R. Valk. 2010

616 citations recorded by the source corpus.