Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen. An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport s Fast Mutual Exclusion Algorithm. IEEE Trans. Parallel Distrib. Syst., 3(2):221-240, 1992. [doi]
Abstract is missing.