Keyword: design tool

• Laskowski, M.:
  Die Synthese von sequentiellen Steuerungsprogrammen auf der Basis eines wissensbasierten Systems. 1990.

• Wongtaladkown, Chanat; Chen, Yaobin:
  A Real-Time Petri Nets Simulator for Automated Manufacturing Systems. 1990.

• Antoniazzi, S.; Mastretti, M.:
  An Interactive Environment for Hardware/Software System Design at the Specification Level. 1990.

• Bagchi, K.K.; Olson, O.; Sorenson, L.; Kristenson, A.:
  A Transputer Based Real-Time Kernel and its Verification. 1989.

Back to the Petri Nets Bibliography