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