Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

• Published in: Journal of logical and algebraic methods in programming Vol. 130; p. 100813
• Main Authors: Hafidi, Y., de Vink, E.P.
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2023
• Subjects: Coordination; Dynamic reconfiguration; Formal specification; Foundations for software architecture design; Petri nets; Coordination; Petri nets; Dynamic reconfiguration; Formal specification; Foundations for software architecture design
• ISSN: 2352-2208
• DOI: 10.1016/j.jlamp.2022.100813

This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dynamic reconfiguration provides to a system the ability to change the behavior of its components at run-time without a system shut-down. By transferring the concepts of the coordination modeling langua...