Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable
 

Summary: Introducing Structural Dynamic Changes in
Petri Nets: Marked-Controlled Reconfigurable
Nets
Marisa Llorens and Javier Oliver
Departamento de Sistemas Inform´aticos y Computaci´on,
Universidad Polit´enica de Valencia,
Camino de Vera s/n, E-46022 Valencia, Spain
{mllorens,fjoliver}@dsic.upv.es
Abstract. The aim of this work is the modeling and verification of con-
current systems that are subject to dynamic changes by using extensions
of Petri nets. In previous studies, we have introduced net rewriting sys-
tems and a subclass of these called reconfigurable nets. In a net rewriting
system, a system configuration is described as a Petri net and a change
in configuration is described as a graph rewriting rule. A reconfigurable
net is a net rewriting system where a change in configuration amounts
to a modification in the flow relations of the places in the domain of
the involved rule in accordance with this rule, independently of the con-
text in which this rewriting applies. In both models, the enabling of
a rule depends only on the net topology. Here we introduce marked-
controlled net rewriting systems and marked-controlled reconfigurable

  

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

 

Collections: Computer Technologies and Information Sciences