Keyword: reachability tree

• Lin, Chuang; Marinescu, D.C.:
  On the Analysis of Stochastic High Level Petri Net Models. 1991.

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

• Fahmy, Hossam Mahmoud Ahmad:
  A Tabular Method for the Analysis of Large Petri Nets. 1990.

• Someya, Harushi; Tashiro, Tsutomu; Murata, Tomohiro; Komoda, Norihisa:
  Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri Nets. 1990.

• Likic, A.; Zivkovic, V.:
  A Software Package for Representation and Analysis of Flexible Manufacturing Systems Based on Petri-Nets. 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.

• Kodama, S.:
  Analysis of Petri Nets. 1989.

• Kosturiak, J.:
  Enumerative Analysis of Qualitative Properties of Petri nets. 1989.

• Belikov, V.K.; Rutner, J.F.:
  Colored Petri Nets and the Matrix Approach. 1989.

Back to the Petri Nets Bibliography