For the most recent entries see the Petri Nets Newsletter.

Observatore, Reti di Petri, Processi.

Pomello, L.

Tesi di Dottorato. Milano: Universita di Milano, 1987.

Abstract: The thesis starts with an introduction into the theory of Petri nets; mainly, the notion of a process is introduced in two ways which are proved to be consistent which each other. Several definitions of equivalences (between Petri nets) are introduced. Three different forms are given for each of the considered equivalences (based on arbitrary interleaving, based on step sequences, based on true concurrency). All twelve equivalence notions are compared with each other.


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

Back to the Petri Nets Bibliography