Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes ?

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.
E­mail: Eric.Badouel@irisa.fr.
-- DSIC, UPV, Camino de Vera s/n, 46071 Valencia, Spain.
E­mail: fjoliver@dsic.upv.es.
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 self­modifying Petri net. The class of reconfig­
urable nets thus provide a subclass of self­modifying Petri nets for which
boundedness can be decided. Delayed dynamic changes within workflow
systems in the sense of [8] can then be handled in an extension of van
der Aalst's workflow nets [2]. 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.


Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València


Collections: Computer Technologies and Information Sciences