For the most recent entries see the
Petri Nets Newsletter.
Use of Petri Nets for Proving Correctness of Concurrent Process Systems.
Lautenbach, K.;
Schmid, H.A.
In:
Proc. of IFIP Congress 74, pages 187-191.
Amsterdam: North-Holland Publ. Comp.,
1974.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography