For the most recent entries see the Petri Nets Newsletter.

Keyword: on-the-fly verification

Varpaaniemi, Kimmo; Halme, Jaakko; Hiekkanen, Kari; Pyssysalo, Tino:
PROD Reference Manual. 1995.
Varpaaniemi, Kimmo:
On-the-Fly Verification with PROD. 1994.

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

Back to the Petri Nets Bibliography