A Survey of Control Structures for Reconfigurable Petri Nets

Julia Padberg^*, Kathrin Hoffmann

Hamburg University of Applied Science, Hamburg, Germany.

DOI: 10.4236/jcc.2015.32002                

Abstract

Software systems are increasingly executed in dynamic infrastructures. These infrastructures are dynamic as they are themselves subject to change as they support various applications that may or may not share some of the resources. Dynamic software systems become more and more important, but are difficult to handle. Modeling and simulating dynamic systems requires the representation of their processes and the system changes within one model. To that effect, reconfigurable Petri nets consist of a Petri net and a set of rules that can modify the Petri net. Their main feature is the capability to model complex coordination behavior in dynamically adapting infrastructures. The interplay of both levels of dynamic behavior requires a very precise description, so the specification when and which rules are to be applied plays a crucial role for the convenient use of reconfigurable nets. We differentiate several types of reconfigurable Petri nets and present a survey of control structure for these types, reconfigurable Petri nets. These control structures either concern the infrastructure, i.e., the rules and transformations or the system part, i.e., the firing behavior, or both. They are introduced by a short characterization and illustrated by examples. We state the results for various Petri net types and the tools supporting the different control structures.

Keywords

Reconfigurable Petri Nets, Net Transformation, Control Structures, Model Transformation, Dynamic Software Systems

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Padberg, J., Hoffmann, K., Ehrig, H., Modica, T., Biermann, E. and Ermel, C. (2007.) Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. In: Dwyer, M.B. and Lopes, A., Eds., Proceedings of Fundamental Approaches to Software Engineering 2007, Vol. 4422 of Lecture Notes in Computer Science, Springer, Berlin, 383-397.
[2]	Modica, T. (2012) Formal Modeling, Simulation, and Validation of Communication Platforms. Ph.D. thesis, Technical University of Berlin, Berlin.
[3]	Gabriel, K. (2014) Interaction on Human-Centric Communication Platforms: Modelling and Analysis Using Algebraic High-Level Nets and Processes. Ph.D. Thesis, Technische Universitat Berlin, Berlin.
[4]	Gottmann, S., Nachtigall, N. and Hoffmann, K. (2012) On Modelling Communication in Ubiquitous Computing Systems Using Algebraic Higher Order Nets. ECEASST, 51.
[5]	Reiter, F. (2012) Modellierung und Analyse von Szenarien des Living Place mit rekonfigurierbaren Petrinetzen. Bachelor Thesis, Hochschule fr Angewandte Wissenschaften Hamburg.
[6]	Llorens, M. and Oliver, J. (2004) Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. IEEE Transactions on Computers, 53, 1147-1158. http://dx.doi.org/10.1109/TC.2004.66
[7]	Hoffmann, K., Ehrig, H. and Padberg, J. (2008) Flexible Modeling of Emergency Scenarios Using Reconfigurable Systems. ECEASST, 12.
[8]	Ede, M., Hoffmann, K., Oelker, G. and Padberg, J. (2012) ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. In: Krause, C. and Westfechtel, B., Eds., Proceedings of the 7th International Workshop on Graph-Based Tools, Vol. 54, Electronic Communications of the EASST.
[9]	Padberg, J., Ehrig, H. and Ribeiro, L. (1995) Algebraic High-Level Net Transformation Systems. Mathematical Structures in Computer Science, 5, 217-256. http://dx.doi.org/10.1017/S0960129500000724
[10]	Gabriel, K. and Ehrig, H. (2012) Modelling Evolution of Communication Platforms and Scenarios Based on Transformations of High-Level Nets and Processes. Theoretical Computer Science, 429, 87-97. http://dx.doi.org/10.1016/j.tcs.2011.12.027
[11]	Modica, T. and Hoffmann, K. (2010) Formal Modeling of Communication Platforms Using Reconfigurable Algebraic High-Level Nets. Electronic Communications of the EASST, 30.
[12]	Modica, T., Gabriel, K. and Hoffmann, K. (2010) Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations. Electronic Communications of the EASST, 40.
[13]	Padberg, J. (2012) Abstract Interleaving Semantics for Reconfigurable Petri Nets. Electronic Communications of the EASST, 51.
[14]	Ehrig, H., Golas, U. and Hermann, F. (2010) Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bulletin of the EATCS, 102, 111-121.
[15]	Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G. (2006) Fundamentals of Algebraic Graph Transformation. EATCS Monographs in TCS, Springer, Berlin.
[16]	Prange, U. (2008) Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. Electronic Notes in Theoretical Computer Science, 203, 67-88. http://dx.doi.org/10.1016/j.entcs.2008.10.043
[17]	Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H., Kuske, S., Plump, D., Schürr, A. and Taentzer, G. (1999) Graph Transformation for Specification and Programming. Science of Computer Programming, 34, 1-54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
[18]	Bottoni, P., Hoffmann, K., Parisi-Presicce, F. and Taentzer, G. (2005) High-Level Replacement Units and Their Termination Properties. Journal of Visual Languages & Computing, 16, 485-507. http://dx.doi.org/10.1016/j.jvlc.2005.07.001
[19]	Holscher, K., Klempien-Hinrichs, R. and Knirsch, P. (2008) Undecidable Control Conditions in Graph Transformation Units. Electronic Notes in Theoretical Computer Science, 195, 95-111. http://dx.doi.org/10.1016/j.entcs.2007.08.028
[20]	Kreowski, H., Kuske, S. and von Totth, C. (2010) Stepping from Graph Transformation Units to Model Transformation Units. Electronic Communications of the EASST, 30.
[21]	Ermler, M., Kreowski, H., Kuske, S. and von Totth, C. (2011) From Graph Transformation Units via Minisat to Grgen.Net. In: Applications of Graph Transformations with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, 4-7 October 2011, Revised Selected and Invited Papers, 153-168.
[22]	Kreowski, H., Kuske, S. and Rozenberg, G. (2008) Graph Transformation Units—An Overview. In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, Lecture Notes in Computer Science, Vol. 5065, Springer, Berlin, 57-75.
[23]	Rein, A., Prange, U., Lambers, L., Hoffmann, K. and Padberg, J. (2008) Negative Application Conditions for Reconfigurable Place/Transition Systems. In: Ermel, C., de Lara, J. and Heckel, R., Eds., Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’08), Vol. 10, Electronic Communications of the EASST.
[24]	Lambers, L. (2009) Certifying Rule-Based Models Using Graph Transformation. PhD Thesis, Berlin Institute of Technology, Berlin.
[25]	Ehrig, H., Golas, U., Habel, A., Lambers, L. and Orejas, F. (2012) -Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundamenta Informaticae, 118, 35-63.
[26]	Ehrig, H., Golas, U., Habel, A., Lambers, L. and Orejas, F. (2014) -Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurrency and Amalgamation. Mathematical Structures in Computer Science, 24. http://dx.doi.org/10.1017/S0960129512000357
[27]	Chiola, G., Donatelli, S. and Franceschinis, G. (1991) Priorities, Inhibitor Arcs, and Concurrency in P/T Nets. In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Gjern, 182-205.
[28]	Padberg, J. (2014) Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities. CoRR. arXiv:1409.6856.
[29]	Berthomieu, B. and Diaz, M. (1991) Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, 17, 259-273. http://dx.doi.org/10.1109/32.75415
[30]	Hrúz, B. and Zhou, M.C. (2007) Modeling and Control of Discrete Event Dynamic Systems. Springer, Berlin.
[31]	Jensen, K. and Kristensen, L.M. (2009) Coloured Petri Nets—Modelling and Validation of Concurrent Systems. Springer, Berlin.
[32]	Gabriel, K., Lingnau, P. and Ermel, C. (2012) Algebraic Approach to Timed Petri Nets. Electronic Communications of the EASST, 47.
[33]	Biermann, E., Ermel, C., Hermann, F. and Modica, T. (2007) A Visual Editor for Reconfigurable Object Nets Based on the ECLIPSE Graphical Editor Framework. In: Juhas, G. and Desel, J., Eds., Proceedings of 14th Workshop on Algorithms and Tools for Petri Nets, AWPN’07, Universitat Koblenz-Landau, GI Special Interest Group on Petri Nets and Related System Models.
[34]	AGG (2014) The Attributed Graph Grammar System.