Summary: Reconfigurable Nets, a Class of High Level Petri
Nets Supporting Dynamic Changes ?
Eric Badouel x and Javier Oliver --
x IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France.
-- DSIC, UPV, Camino de Vera s/n, 46071 Valencia, Spain.
Abstract. We introduce a class of high level Petri nets, called reconfig
urable nets, that can dynamically modify their own structure by rewrit
ing some of their components. Boundedness of a reconfigurable net can
be decided by constructing its coverability tree. Moreover such a net
can be simulated by a selfmodifying Petri net. The class of reconfig
urable nets thus provide a subclass of selfmodifying Petri nets for which
boundedness can be decided. Delayed dynamic changes within workflow
systems in the sense of  can then be handled in an extension of van
der Aalst's workflow nets . For this class (the reconfigurable workflow
nets), a notion of soundness has been defined that can also be verified
using the coverability tree construction.
Keywords: Reconfigurable Nets, Workflow Systems, Boundedness, Self
Modifying Petri Nets.