Keyword: petri net tools

• Gasevic, Dragan; Devedzic, Vladan; Veselinovic, Nemanja:
  P3 - Petri Net Educational Software Tool for Teaching Hardware. 2004.

• Koh, I.; Park, J.-Y.; Song, J.-H.:
  Developing adaptive buffer-level synchronization algorithm by Petri nets for improving quality of multimedia related services. 2000.

• Billington, J.:
  Development of an International Standard for High-level Petri Nets. 1997.

• Störrle, Harald:
  An Evaluation of High-End Tools for Petri-Nets. 1997.

Back to the Petri Nets Bibliography