For the most recent entries see the Petri Nets Newsletter.

Petri Net Package User's Manual.

Jensen, K.; Huber, P.; Larsen, M.N.; Martinsen, I.M.

Aarhus Univ., Comp. Science Dep., DAIMI-MD-46, Version 2.1, September 1983.


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

Back to the Petri Nets Bibliography