A Basic Tool for the Modeling of Marked-Controlled Reconfigurable Petri Nets

Abstract: In previous studies, we have introduced marked-controlled net rewrit-ing systems and a subclass of these called marked-controlled recongurable Petri nets. In a marked-controlled net rewriting system, a system conguration is de-scribed as a Petri net, and a change in conguration is described as a graph rewriting rule. A marked-controlled recongurable Petri net is a marked-controlled net rewrit-ing system where a change in conguration amounts to a modication in the ow relations of the places in the domain of the involved rule in accordance with this rule, independently of the context in which this rewriting applies. In both mod-els, the enabling of a rule not only depends on the net topology, but also depends on the net marking according to control places. Even though the expressiveness of Petri nets and marked-controlled recongurable Petri nets is the same, with marked-controlled recongurable Petri nets, we can easily and directly model concurrent and distributed systems that change their structure dynamically. In this article, we present MCReNet, a tool for the modeling and verication of marked-controlled recongurable Petri nets