Keyword: net tool

• Scheschonk, Gert:
  Software-Entwicklung und Simulation - Eine integrierte Methodenkette. 1992.

• Liu, N.K.; Dillon, T.:
  An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets. 1991.

• Schoenfelder, Michael A.; Rogers, William A.:
  A Rainbow Net Simulator with a Dependability Application. 1991.

• Zinovjev, E.; Strecalov, A.; Rogova, O.:
  ISTSPN: Integrated Software Tool Supporting Petri Nets. 1991.

• Bonchev, Boyan:
  Hierarchical Modeling of Parallel Systems with Extended Timed Nets. 1991.

• Couvillion, Joseph A.; Freire, Roberto; Johnson, Ron; Obal, W. Douglas; Qureshi, M. Akber; Rai, Manish; Sanders, William H.; Tvedt, Janet E.:
  Performability Modeling with UltraSAN. 1991.

• Varhol, Peter D.:
  ML and Colored Petri Nets for Modeling and Simulation: a Little Language for a Big Job. (ML: Meta Language functional programming language). 1991.

• Ochsenschläger, Peter:
  Die Produktnetzmaschine. 1991.

• Scherer, K.:
  Anwendungen mit dem Netz-Simulator ``NET''. 1991.

• Ajmone Marsan, M.; Donatelli, S.; Neri, F.:
  GSPN Models of Markovian Multiserver Multiqueue Systems. 1990.

• Chiola, G.:
  A Simulation Framework for Timed and Stochastic Petri Nets. 1990.

• Ciardo, Gianfranco; Muppala, Jogesh K.; Trivedi, Kishor S.:
  SPNP: Stochastic Petri Net Package. 1990.

• Dittrich, G.:
  Tools for Modelling with Petri-Net Like Nets. 1990.

• Eggert, H.; Korczynski, W.:
  A Formal Protocol Specification with Predicate/Transition Nets. 1990.

• Giesel, Dirk; Krüger, Jörg; Jeschke, Roland:
  Grundkonzepte und Implementierung eines Netzwerkzeugs für algebraische High-Level-Netze. 1990.

• Krauth, J.:
  Modelling and Simulation of a Flexible Assembly System Using Petri Nets. 1990.

• Lindemann, C.:
  An Efficient Numerical Method for Solving Deterministic and Stochastic Petri Net Models. 1990.

• Mehrpour, H.; Karbowiak, A.E.:
  Modelling and Analysis of the DOD TCP/IP Using Numerical Petri Nets. 1990.

• Oberweis, A.:
  Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme. 1990.

• Oswald, Heinz:
  An Environment for Specifying and Executing Hierarchical Petri Nets. 1990.

• Som, S.; Stoughton, J.W.; Mielke, R.R.:
  Performance Prediction, Simulation, and Measurement for Real-Time Computing in a Class of Data Flow Architectures. 1990.

• Starke, Peter H.:
  Analyse von Petri-Netz-Modellen. 1990.

• Wyes, Jutta:
  Abbildungen für Netze mit Schaltregeln im Software-Lifecycle. 1990.

• Ahrens, K.; Fischer, J.; Holtz, E.; Schieferdecker, I.:
  Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme. 1990.

• Starke, Peter H.:
  ATNA: Arc Timed Net Analyser. 1990.

• Schepers, Jörg:
  GRAPH: Eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme. 1990.

• Wippich, K.:
  Modellierung und Analyse benutzergeführter Geräte mit Hilfe von strukturinterpretierenden Petri-Netzen. 1990.

• Willson, Reg G.; Krogh, Bruce H.:
  Petri Net Tools for the Specification and Analysis of Discrete Controllers. 1990.

• Zurawski, R.:
  Modelling Distributed Real-Time Systems for Performance Evaluation Using Timed Petri Nets. 1989.

• Albert, Ken; Jensen, Kurt; Shapiro, Robert:
  DESIGN/CPN: A Tool Package Supporting the Use of Colored Nets. 1989.

• Gerhard, E.; Wippich, K.:
  Net-Analyser. 1988.

• Sibertin-Blanc, C.:
  How to Make a Very Cheap Petri Net Interpreter with a DBMS. 1988.

• SimmroÑ, Gudrun:
  Der NET-Analysator: ein Werkzeug zur Analyse von System-Modellen. 1988.

• Oberweis, A.; Schönthaler, F.; Seib, J.; Lausen, G.:
  Database Supported Analysis Tool for Predicate/Transition Nets. 1987.

• Graphical Petri Net Tool for the Design and Prototyping of Distributed Systems, SPECS-Project, ETH, Zürich (Switzerland). 1987.

• Razouk, Rami R.:
  A Guided Tour of P-NUT (Release 2.2). 1987.

• Igel, Burkhard:
  Net-Tools. 1986.

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

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

• Razouk, Rami R.:
  A Guided Tour of P-NUT (Release 2.1). 1986.

• Paule, Christa:
  Das Netzsimulationssystem NESSY: Die Netzsprache NESSY-L (Beschreibung). 1985.

• Paule, Christa:
  The NEt Simulation SYstem NESSY: Summary and Example. 1985.

• Paule, Christa; Eckert, Hans:
  Das Netzsimulationssystem NESSY: Der Netzsimulationsmodul NESSY-S. 1985.

• Feldbrugge, Frits:
  List of Petri Net Tools. 1985.

• Paule, Christa:
  Das Netzsimulationssystem NESSY: Beschreibung der Codegenerierung für ein in der Netz-Sprache NESSY-L spezifiziertes Netz. 1985.

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

• Feldbrugge, Frits:
  Petri Net Tools. 1984.

Back to the Petri Nets Bibliography