For the most recent entries see the Petri Nets Newsletter.

PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets.

Menasche, M.

In: International Workshop on Timed Petri Nets, Torino, Italy, July 1--3, 1985, pages 162-169. IEEE Computer Society Press, 1985.


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

Back to the Petri Nets Bibliography