For the most recent entries see the
Petri Nets Newsletter.
Specifying and Proving Properties of Petri Nets.
Reisig, Wolfgang
In:
Fernández, C.; Merceron, A.; Parada, V.; Rozenberg, G.; Solar, M.: Petri Nets, First International Course in Petri Nets, Santiago, Chile, 1993, pages 22-46.
Editorial Universidad de Santiago de Chile,
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography