Date: August 1994
Pages: 28
A folding in General Net theory is morphism that is surjective on places and transitions. Foldings can be used to relate CE-systems to "high-level system". In this paper we study the problem of relating Petri Nets to non-strict High-level Nets. We give a construction that given a morphism of Petri Nets produces an Algebraic Net that characterises the folding in a canonical way. We also prove that the construction is functorial. Then we show how the construction can be made to work on Algebraic Nets directly. Finally we discuss an application of the construction.
Keywords: concurrency, net theory, high-level nets.