An Example of Modelling and Evaluation of a Concurrent Program Using Coloured Stochastic Petri Nets: Lamport’s Fast Mutual Exclusion Algorithm

This publication has 6 references indexed in Scilit:

• Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
  IEEE Transactions on Computers, 1987
• A fast mutual exclusion algorithm
  ACM Transactions on Computer Systems, 1987
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976