Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Redes Reconfigurables Controladas por Marcado: Redes de Petri con Cambios
 

Summary: Redes Reconfigurables Controladas por
Marcado: Redes de Petri con Cambios
Din´amicos Estructurales*
Marisa Llorens1
and Javier Oliver1
DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain
{mllorens,fjoliver}@dsic.upv.es
Resumen El objetivo de este trabajo es la modelizaci´on y verificaci´on
de sistemas concurrentes sujetos a cambios din´amicos utilizando exten-
siones de redes de Petri. En estudios previos, hemos introducido los siste-
mas de reescritura de redes y una subclase de los mismos llamada redes
reconfigurables. En un sistema de reescritura de redes, una configuraci´on
del sistema se describe como una red de Petri y un cambio de configura-
ci´on como una regla de reescritura de grafos. Una red reconfigurable es
un sistema de reescritura de redes en el que un cambio de configuraci´on
s´olo implica la modificaci´on de las relaciones de flujo de los lugares en
el dominio de la regla en cuesti´on. En ambos modelos, el que una regla
est´e habilitada depende ´unicamente de la topolog´ia de la red. Aqu´i vamos
a introducir los sistemas de reescritura de redes controladas por marcado
y las redes reconfigurables controladas por marcado, en las que la habili-

  

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

 

Collections: Computer Technologies and Information Sciences