For the most recent entries see the Petri Nets Newsletter.

Keyword: design validation

Ferrarini, L.; Maffezzoni, C.; Villa, G.:
Computer Aided Design of Sequence Control by Petri Nets. 1990.
Musgrave, G.:
Petri Nets and their Relation to Design Validation and Testing. 1988.

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

Back to the Petri Nets Bibliography