Executions: A new partial-order semantics of Petri nets (Q1183595)

Executions are a generalization of the processes of safe Petri nets. The idea is to view places as shared variables, the conditions holding during a system run do not correspond to single tokens as in processes but to a number of tokens lying on one place at some stage. It turns out that executions of general \(P/T\) nets define equivalence classes on the occurrence sequences as the processes of safe nets do. Various relations between executions and processes are established and analyzed.