Hierarchical, Reconfigurable Petri Nets
نویسندگان
چکیده
Hierarchical Petri nets allow a more abstract view whereas reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding an hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfigurable, so they are supplied with their own set of rules, so-called local rules. Moreover, global rules, that can be applied in all of the net, are provided.
منابع مشابه
Subtyping for Hierarchical, Reconfigurable Petri Nets
Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfigurable...
متن کاملModeling Concurrent Systems: Reconfigurable Nets
The aim of this work is the modeling and verification of concurrent systems subject to dynamic changes using extensions of Petri nets. We introduce the reconfigurable nets. The expressiveness of reconfigurable nets and Petri nets is equivalent, but with reconfigurable nets we can model easily and directly systems that change its structure dynamically. The change of configuration amounts to the ...
متن کاملAbstract Interleaving Semantics for Reconfigurable Petri Nets
Interleaving Semantics for Reconfigurable Petri Nets
متن کاملTowards Model Checking Reconfigurable Petri Nets using Maude
This paper introduces an approach to model checking of reconfigurable Petri nets. The main task is to flatten the two levels of dynamic behavior that reconfigurable nets provide, the firing of transitions on the one hand and the transformation of the nets on the other hand. We show how to translate a reconfigurable net into Maude modules. Maude’s LTL model-checker is then used to verify propert...
متن کاملIntroducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets
The aim of this work is the modeling and verification of concurrent systems that are subject to dynamic changes by using extensions of Petri nets. In previous studies, we have introduced net rewriting systems and a subclass of these called reconfigurable nets. In a net rewriting system, a system configuration is described as a Petri net and a change in configuration is described as a graph rewr...
متن کامل