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

Bibliographic Details
Main Author: Girault, Claude
Other Authors: Valk, R. (RĂ¼diger)
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2003]
Subjects: