Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Sistemas de reescritura de redes* M. Llorens, J. Oliver
 

Summary: Sistemas de reescritura de redes*
M. Llorens, J. Oliver
Univ. Polit´ecnica de Valencia. Depto. Sistemas Inform´aticos y Computaci´on.
Camino de Vera, s/n, E-46022 Valencia, Spain
{mllorens, fjoliver}@dsic.upv.es
Resumen
El art´iculo se centra en la modelizaci´on de sistemas concurrentes sujetos a
cambios din´amicos utilizando extensiones de las redes de Petri. Comenzamos
recordando la noci´on de sistema de reescritura de redes y probamos que tales
sistemas tienen el mismo poder computacional que la m´aquina de Turing. Una
subclase de los sistemas de reescritura de redes son las redes reconfigurables,
para las cuales demostramos que su expresividad y la de las redes de Petri es
equivalente, pero con las redes reconfigurables podemos modelizar m´as f´acil y
directamente sistemas que cambian su estructura din´amicamente.
Palabras clave: sistemas concurrentes, redes de Petri, reescritura de grafos, cam-
bios din´amicos.
1. Introducci´on
En [1] y [6] introducimos los sistemas de reescritura de redes que mejoran la
expresividad del modelo b´asico de las redes de Petri [7, 8] permitiendo representar
cambios din´amicos en sistemas concurrentes. El modelo propuesto se basa en dos

  

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

 

Collections: Computer Technologies and Information Sciences