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
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
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
A Uniform Approach to Petri Nets
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Flexible Modellierung mit Algebraischen Higher Order Netzen
Modellierung 2001, Workshop der Gesellschaft für Informatik e. V. (GI)
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
Cooperability In Train Control Systems: Specification Of Scenarios Using Open Nets
Journal of Integrated Design & Process Science
Model Validation - A Theoretical Issue?
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
The notion of processes for low-level Petri nets based on occurrence nets is well known and it represents the basis for the study of the non-sequential behavior of Petri nets. Processes for high-level nets N are often defined as processes of the low level net Flat(N) which is obtained from N via a construction called "flattening". In this paper we define high-level processes for high-level nets based on a suitable notion of high-level occurrence nets. The flattening of a high-level occurrence net is in general not a low-level occurrence net, due to so called "assignment conflicts" in the high-level net. The main technical result is a syntactical characterization of assignment conflicts. But the main focus of this paper is a conceptual discussion of future perspectives of high-level net processes includingc oncurrency and data type aspects. Specifically, in the second part of the paper, we discuss possible extensions of high-level net processes, which are formally introduced for algebraic high-level nets in the first part of this paper. Of special interest are high-level processes with data type behavior, amalgamation, and other kinds of constructions, which are essential aspects for a proposed component concept for high-level nets.