For the most recent entries see the Petri Nets Newsletter.

Checking Liveness of Petri-Nets.

Berthelot, G.

In: Parallel Computers - Parallel Mathematics, Proc. of the IMACS-GI-Symp., March 14--16, 1977, Munich, Feilmeier, M. (ed.), pages 217-220. Amsterdam: North-Holland Publishing Company, 1977.

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

Back to the Petri Nets Bibliography