Behaviour of elementary net systems
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Information and Computation
Petri nets and algebraic specifications
Theoretical Computer Science
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Parameterized Data Types in Algebraic Specification Languages (Short Version)
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Semantics, composition and net properties of algebraic high-level nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Formal and natural computing
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
| Hi-index | 0.00 |
Algebraic high-level (AHL) nets are a well-known modelling technique based on Petri nets with algebraic data types, which allows to model the communication structure and the data flow within one modelling framework. In this paper we give an overview how to model the system behaviour of communication platforms and scenarios based on algebraic high-level nets and their processes. For modelling the evolution of communication platforms we show by example how to use transformations of AHL-nets inspired by the theory of graph transformation. As running example we show the modelling and evolution of Apache Wave platforms and Waves.