For the most recent entries see the
Petri Nets Newsletter.
Keyword: mutual exclusion
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries.
A based on Petri net approach for quantifying mutual exclusion degree.
Datta, Ajoy K.:
Self-Stabilizing Depth-First Token Passing on Rooted Networks.
Becker, Shirley A.;
Hevner, Alan R.:
A White Box Analysis of Concurrent System Designs.
PNPL: a Parallel Programming Language Based on Petri Net, which is Written by Chart and Text.
Analysis of Le Lann's distributed control protocol by Petri nets.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography