For the most recent entries see the
Petri Nets Newsletter.
Verification of Concurrent Systems of Processes.
Cotronis, J.Y.;
Lauer, P.E.
In:
Morlet, E.; Ribbens, D.: International Computing Symposium 1977, pages 197-207.
Amsterdam: North-Holland,
1977.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography