Composition and Independence of High-Level Net Processes

• Published in: Electronic notes in theoretical computer science Vol. 242; no. 2; pp. 59 - 71
• Main Authors: Ehrig, H., Hoffmann, K., Gabriel, K., Padberg, J.
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 13.07.2009
• Subjects: algebraic high-level nets; Algebraic models; analysis of nets; behavioural semantics; composition of processes; equivalence and independence of processes; high-level net processes; mobility; analysis of nets; high-level net processes; mobility; algebraic high-level nets; Algebraic models; equivalence and independence of processes; composition of processes; behavioural semantics
• ISSN: 1571-0661; 1571-0661
• DOI: 10.1016/j.entcs.2009.06.023

Mobile ad-hoc networks (manets) are networks of mobile devices that communicate with each other via wireless links without relying on an underlying infrastructure. To model workflows in manets adequately a formal technique is given by algebraic higher-order nets. For this modeling technique we here present a high-level net process semantics and results concerning composition and independence. Based on the notion of processes for low-level Petri nets we analyse in this paper high-level net processes defining the non-sequential behaviour of high-level nets. In contrast to taking low-level processes of the well known flattening construction for high-level nets our concept of high-level net processes preserves the high-level structure. The main results are the composition, equivalence and independence of high-level net processes under suitable conditions. Independence means that they can be composed in any order leading to equivalent high-level net processes which especially have the same input/output behaviour. All concepts and results are explained with a running example of a mobile ad-hoc network in the area of a university campus.