Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies
Kathrin Hoffmann · Bulletin of the European Association for Theoretical Computer Science · 2010
During the last decade, mobile and flexible communication based systems have become more and more important. In our research project Formal modeling and analysis of flexible processes in mobile ad-hoc networks we have proposed an adequate formal modeling technique due to the integration of Petri nets and Petri net transformations called reconfigurable systems and algebraic higher order nets. In this article we review graph and net transformations in order to state the requirements of a formal modeling technique for mobile and flexible communication based systems. In the main part we present an overview over our research project and show how the results are realizing these requirements.