Petr nets, algebras, morphisms, and compositionality
Information and Computation
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Behaviour of elementary net systems
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Axiomatizing net computations and processes
Proceedings of the Fourth Annual Symposium on Logic in computer science
Information and Computation
Branching processes of Petri nets
Acta Informatica
Algebraic high level nets: Petri nets revisited
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
High-level replacement systems applied to algebraic specifications and Petri nets
Handbook of graph grammars and computing by graph transformation
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Formal and natural computing
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Hi-index | 0.00 |
Processes for high-level nets are often defined as processes of the low-level net Flat(n) which is obtained from N via the well-known flattening construction. This low-level notion of processes for high-level nets, however, is not really adequate, because the high-level structure is completely lost. For this reason we have introduced in a previous paper a new notion of high-level net processes for high-level nets which captures the high-level structure. The key notion is a high-level occurrence net K, which generalizes the well-known notion of occurrence nets from low-level to high-level nets. In contrast to the low-level case we consider high-level occurrence nets together with a set of initial markings of the input places. In this paper we show under which conditions the behavior of low-level occurrence nets and processes can be generalized to the high-level case. A key notion is the instantiation L of a high-level occurrence net K, where L is a low-level subnet of the flattening Flat(K) with isomorphic net structures of L and K. One of our main results characterizes under which conditions a high-level occurrence net - and hence a high-level net process - has unique and nonoverlapping instantiations and can be represented by the union of all its instantiations.