Behaviour of elementary net systems
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Information and Computation
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
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
Coloured Petri nets: A high level language for system design and analysis
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Towards combinatorial evolution of composite systems
Expert Systems with Applications: An International Journal
Hi-index | 5.23 |
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. Transformations of AHL-nets-inspired by the theory of graph transformations-allow in addition to modify the communication structure. Moreover, high-level processes of AHL-nets capture the concurrent semantics of AHL-nets in an adequate way. Altogether, we obtain a powerful integrated formal specification technique to model and analyse all kinds of communication based systems, especially different kinds of communication platforms. In this paper, we show how to model the evolution of communication platforms and scenarios based on transformations of algebraic high-level nets and processes. All constructions and results are illustrated by a small case study showing the evolution of Apache Wave platforms and scenarios. The evolution of platforms is modelled by the transformation of AHL-nets and that of scenarios by the transformation of AHL-net processes. Two new results for transformation of AHL-net processes are presented, motivated by the evolution of communication platforms and scenarios.