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