For the most recent entries see the
Petri Nets Newsletter.
Petri Nets for Proving some Correctness Properties of Parallel Programs.
Szlanko, J.
In:
IFIP Workshop on Real Time Programming, Eindhoven, The Netherlands, June 20--22, 1977: IFAC, pages 75-83.
Oxford: Pergamon,
1978.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography