Keyword: deadlock

• Dotoli, Mariagrazia; Fanti, Maria Pia:
  Coloured Timed Petri Net Model for Real Time Control of AGV Systems. 2004.

• Uzam, Murat:
  The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. 2004.

• Hsieh, Fu-Shiung:
  Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets. 2004.

• Hsieh, Fu-Shiung:
  Robustness of deadlock avoidance algorithms for sequential processes. 2003.

• Uzam, M.:
  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions. 2002.

• Song, Ju-Seog; Lee, Tae-Eog:
  Petri net modeling and scheduling for cyclic job shops with blocking. 1998.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  Semantics, Composition and Net Properties of Algebraic High-Level Nets. 1991.

• Bagga, Kunwarjit S.; Owens, Frank W.:
  On some Classes of Petri Nets. 1990.

• Chang, Sun Hwang; Jae, Man Lee:
  Analysis of Matrix Equation Based on Petri Net for Discrete System Control. 1990.

• Chowdhury, M.F.; Manwaring, M.L.:
  Towards a Model for Concurrent Real-Time Systems. 1990.

• Divine, D.; Fowles, M.:
  A Simple Implementation of a Petri Net for an Automated Static Analysis of Ada Task Intercommunication. 1990.

• Jeffrey, J.; Murata, Tadao:
  A High-Level Petri Net for a Subset of FGHC. 1990.

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

• Minoux, M.; Barkaoui, K.:
  Deadlocks and Traps in Petri Nets as Horn-Satisfiability Solutions and some Related Polynomially Solvable Problems. 1990.

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

• Ho, Hong-Fa; Chen, Gen-Heuy; Kuo, Te-Son:
  Branch Testing of Concurrent Programs Using Petri Net Models. 1990.

• Esparza, Javier; Silva, Manuel:
  Compositional Synthesis of Live and Bounded Free Choice Nets. 1990.

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

• Brogi, Antonio; Gorrieri, Roberto:
  A Distributed, Net Oriented Semantics for Delta Prolog. 1989.

• Ghodsi, M.:
  Performance Modeling of Parallel Computations in Resource-Constrained Systems. 1989.

• Hümbs, Wolfgang; Kuzyk, Klaus:
  Systemverklemmung. Charakterisierung und Erkennung. 1989.

• Burkhard, H.-D.:
  An Investigation of Controls for Concurrent Systems by Abstract Control Languages. 1984.

• Sifakis, J.:
  A Note on Deadlocks in CA-Systems. 1982.

• Best, Eike:
  A Theorem on Open Covers in Petri Nets. 1982.

Back to the Petri Nets Bibliography