For the most recent entries see the Petri Nets Newsletter.

Keyword: dining philosophers

Lazar, Aurel A.; Robertazzi, Thomas G.:
Markovian Petri Net Protocols with Product Form Solution. 1991.
Gorton, I.:
Specifying Occam Programs with High-Level Petri Nets. 1990.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography