For the most recent entries see the
Petri Nets Newsletter
Keyword: dining philosophers problem
Service Stage Petri Net Models with Product Form Solution.
Lee, John A.N.
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography