For the most recent entries see the Petri Nets Newsletter.

Keyword: requirement specification

Oswald, Heinz:
An Environment for Specifying and Executing Hierarchical Petri Nets. 1990.
Uchihira, Naoshi; Kawata, Hideji; Matsumoto, Kazunori; Ito, Mikako; Honiden, Shinichi:
Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse. 1990.

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

Back to the Petri Nets Bibliography