A Tool for Reconfigurable Petri Nets


The characteristic feature of reconfigurable Petri nets is the possibility to discriminate between different levels of change as they consist of a Petri net and a set of rules that can modify the Petri net. They provide powerful and intuitive formalisms to model dynamic software or hardware systems that are increasingly executed in dynamic infrastructures. Such infrastructures are dynamic as they are themselves subject to change and support various applications that may or may not share some of the resources. N1_r2NAC