For the most recent entries see the
Petri Nets Newsletter.
OVIDE: A Software Package for Verifying and Validating Petri Nets.
Le Mer, E.
In:
IFIP Symposium, Madrid / Ferrate, G.; Puente, E.A.: Software for Computer Control 1982. Proc. of the Third IFAC, pages 255-260.
Pergamon Press,
1983.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography