Keyword: extended net

• Hallmann, M.:
  Semantikdefinition von Anforderungsdefinitionssprachen. 1991.

• Degli Antoni, Gianni:
  Communicating Petri Nets. 1991.

• Cheul, Woo Ro; Dan, Keun Sung:
  Validation of TDX Protocols Using Extended Petri Nets. 1991.

• Ohi, T.; Saiki, A.; Terashita, N.; Sasaki, K.:
  A Prototype Expert System for Advising Operational Procedures. 1990.

• Toern, Aimo A.:
  Decision Support by Rapid Simulation Using Simulation Nets. 1990.

• Törn, Aimo A.:
  Decision Support by Rapid Simulation Using Simulation Nets. 1990.

• Hseush, W.; Kaiser, G.E.:
  Modeling Concurrency in Parallel Debugging. 1990.

• Valavanis, K.P.:
  On the Hierarchical Modeling Analysis and Simulation of Flexible Manufacturing Systems with Extended Petri Nets. 1990.

• Baer, J.L.; Girault, C.:
  Cache Coherence in MIMD systems: A Petri Net Model for a Minimal State Solution. 1989.

• Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro:
  Symbolic Execution of Concurrent Programs Using Petri Nets. 1989.

• Ould-Kaddour, N.; Courvoisier, M.:
  A Multi-Tasking Environment Based on Petri Nets with Objects and Modula-2. 1989.

• Pelikan, P.:
  Controllers Design Automation by Using Petri Nets. 1989.

• Shieh, Y.B.; Ghosal, D.; Chintamaneni, P.R.; Tripathi, S.K.:
  Application of Petri Net Models for the Evaluation of Fault-Tolerant Techniques in Distributed Systems. 1989.

• Bellino, L.; Castelli, P.; Lo Russo, G.:
  An Integrated Environment for Industrial Process Simulation. 1989.

• Ozsu, M.T.:
  Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism. 1984.

Back to the Petri Nets Bibliography