Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders

Abstract

In this paper we define partial orders associated to process terms of place/transition nets. Further, we construct a set of partial orders from a given set of process terms. For place/transition nets without loops we prove the following result:The set of minimal partial orders constructed from process terms is in a one-to-one correspondence with the set of minimal partial orders defined by processes of the given net.