Keyword: reachability graph

• Buy, Ugo; Singal, Gaurav:
  Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. 2002.

• Lindner, G.; Heiner, M.; Kobienia, T.:
  Deadlock Detection in a Distributed Implementation of a Visualization System for Medical Measurement Signals. 1996.

• Janicki, Ryszard; Koutny, Maciej:
  Optimal Simulations, Nets and Reachability Graphs. 1991.

• Schmidt, Karsten; Starke, Peter H.:
  An Algorithm to Compute the Symmetries of Petri Nets. 1991.

• Tuominen, Heikki:
  Proving Properties of Place/Transition-Nets with a Resolution Theorem Prover. 1991.

• Blakemore, Alex:
  The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri Nets. 1990.

• Chiola, G.; Franceschinis, G.:
  Colored GSPN Models and Automatic Symmetry Detection. 1990.

• Florin, G.; Natkin, S.:
  Matrix Product Form Solution For Closed Synchonized Queuing Networks. 1990.

• Kochikar, V.P.; Narendran, T.T.:
  Coloured Petri Net Modelling and Analysis of Flexible Manufacturing Systems. 1990.

• Korczynski, W.:
  An Algebraic Characterization of a Class of Petri Nets. 1990.

• Reda El Karaksy, M.; Nouh, A.S.; Al Obaidan, A.:
  Performance Analysis of Timed Petri Net Models for Communication Protocols: a Methodology and a Package. 1990.

• Viswanadham, N.; Johnson, T.L.; Narahari, Y.:
  Performance Analysis of Automated Manufacturing Systems with Blocking and Deadlock. 1990.

• Viswanadham, N.; Narahari, Y.; Johnson, T.L.:
  Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models. 1990.

• Berthelot, G.; Finkel, A.; Johnen, C.; Petrucci, L.:
  A Generic Example for Testing Performance of Reachability and Covering Graphs Construction Algorithms. 1990.

• Dutheillet, C.; Haddad, S.:
  Regular Stochastic Petri Nets. 1989.

• Lopez-Benitez, N.:
  Detailed Modeling and Reliability Estimation of Fault-Tolerant Processor Arrays. 1989.

• Heiner, M.:
  A Complexity Measure of Distributed Programs. 1988.

Back to the Petri Nets Bibliography