Keyword: net analysis

• Amer-Yahia, C.; Zerhouni, N.:
  Structure theory of choice-free Petri nets based on eigenvalues. 1999.

• Sacha, Krzysztof M.:
  Real-time software specification and validation with Transnet. 1994.

• Jensen, Kurt:
  Coloured Petri Nets: A High Level Language for System Design and Analysis. 1991.

• Seiche, W.:
  Control Synthesis Based on a Graph-Theoretical Petri Net Analysis. 1991.

• Fahmy, Hossam Mahmoud Ahmad:
  Analysis of Petri Nets by Partitioning: Splitting Transitions. 1990.

• Krogh, B.H.; Genter, W.L.:
  Petri Net Analysis of the Transfer-Line Protocol. 1990.

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

• Fischer, J.; Holz, E.:
  Petri Net Analysis of Formal Specifications in SDL. 1990.

• Seiche, W.:
  Control Synthesis Based on a Graph-Theoreticel Petri Net Analysis. 1990.

• Augustin, L.:
  PNEAS --- a Contribution to Tool Concepts in the Development of Communications Software. 1989.

• Carpenter, G.F.:
  Simulation of Software for Distributed Systems. 1989.

• Olej, V.; Strelec, J.:
  Algorithm for Generating the Top of the Tree of Reachability for Analysis of the Properties of Deterministic and Nondeterministic Petri Nets. 1989.

• Kerpelman, Daniel I.:
  Object-Oriented Model-Based Reasoning for Diagnosing Automated Manufacturing Systems. 1988.

Back to the Petri Nets Bibliography