For the most recent entries see the Petri Nets Newsletter.

Keyword: net formalism

Reze, P.; Rioux, P.; Beaufils, F.:
ELSIR, un formalisme réseau de Petri adapte a la modelisation de systemes. 1991.
Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro:
Symbolic Execution of Concurrent Systems Using Petri Nets. 1989.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography