Keyword: software tool

• Zimmermann, Armin; Freiheit, Jörn:
  TimeNETMS - An Integrated Modeling and Performance Evaluation Tool for Manufacturing Systems. 1998.

• Florin, G.; Fraize, C.; Natkin, S.:
  Stochastic Petri Nets: Properties, Applications and Tools. 1991.

• Schwarze, G.:
  Digitale Simulation: Konzepte, Werkzeuge, Applikationen. 1990.

• Abellard, P.; Salgon, E.; Richon, C.; Balmat, J.F.:
  PFLUX: A Software Tool for Data Flow Petri Net Design. 1990.

• Daliang, D.:
  Rule Based Discrete System Simulation and Verification of Petri Nets. 1989.

• Peuker, R.:
  Petri-Netz-Modell eines verteilten ProzeÑdatenverarbeitungssystems. 1989.

• Grützner, Rolf:
  Kurzcharakteristik eines Netzanalysesystems: MARS. 1986.

• Jensen, Kurt:
  Design --- ``Petri Net Editor'' for Macintosh: A Test Report. 1986.

• Ciapessoni, E.; Negri, M.; Pieragostini, D.:
  NETLAB: A Software Tool for Drawing and Validating Petri Nets. 1984.

Back to the Petri Nets Bibliography