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 modification of the flow relations of the places in the domain of the involved rule according to the rule and independently of the context in which this rewriting applies.