Keyword: mutual exclusion

• Jorgensen, J.B.; Kristensen, L.M.:
  Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries. 1999.

• Maciel, P.; Barros, E.; Rosenstiel, W.:
  A based on Petri net approach for quantifying mutual exclusion degree. 1998.

• Johnen, Colette; Alari, Gianluigi; Beauquier, Joffroy; Datta, Ajoy K.:
  Self-Stabilizing Depth-First Token Passing on Rooted Networks. 1997.

• Becker, Shirley A.; Hevner, Alan R.:
  A White Box Analysis of Concurrent System Designs. 1991.

• Murakoshi, H.; Hatakeyama, T.; Dohl, Y.:
  PNPL: a Parallel Programming Language Based on Petri Net, which is Written by Chart and Text. 1990.

• Zuberek, W.M.:
  Analysis of Le Lann's distributed control protocol by Petri nets. 1981.

Back to the Petri Nets Bibliography