Petri nets for systems engineering
Subtitle: a guide to modeling, verification, and applications
By: Claude Girault, Rüdiger Valk.
Contributors: Valk, R.
Publisher: Springer
Published: 2003
Place of publication: Berlin; New York
Language: eng
Number of pages: 607
Subjects: Formal methods (Computer science); Systems engineering; Petri nets
Notes: Includes bibliographical references (p. [571]-599) and index.