For the most recent entries see the Petri Nets Newsletter.

On the Semantics of Concurrency: Partial Orders and Transition Systems.

Boudol, G.; Castellani, I.

INRIA Rapports de Recherche No. 550, July 1986.


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

Back to the Petri Nets Bibliography