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