Keyword: dining philosophers problem

• Wang, I.Y.; Robertazzi, T.G.:
  Service Stage Petri Net Models with Product Form Solution. 1990.

• He, Xudong; Lee, John A.N.:
  Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. 1990.

Back to the Petri Nets Bibliography