For the most recent entries see the Petri Nets Newsletter.

Keyword: systems engineering

Girault, Claude; Valk, Rüdiger:
Petri Nets for Systems Engineering --- A Guide to Modeling, Verification, and Applications. 2003.
Ebert, C.:
Experiences with colored predicate/transition nets for specifying and prototyping embedded systems. 1998.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography