For the most recent entries see the Petri Nets Newsletter.

OVIDE: A Software Package for Verifying and Validating Petri Nets.

Montel, B.; al., et

In: SOFTFAIR, a Conference on Software Development Tools, Techniques, and Alternatives, pages 86-92. Silver Spring, MD, USA: IEEE Comput. Soc. Press, 1983.

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

Back to the Petri Nets Bibliography