For the most recent entries see the Petri Nets Newsletter.

Preuve de non Blocage de Programmes paralleles par Reduction de Reseaux de Petri.

Berthelot, G.

In: Syre, J.C.: Proc. of the 1st European Conference on Parallel and Distributed Processing, pages 251-259. Toulouse: Cepadues Editions, 1979.


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

Back to the Petri Nets Bibliography