Compositional synthesis of distributed system components based on augmented marked graphs

Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cheung, K. S.
Formato: Articulo
Lenguaje:Inglés
Publicado: 2008
Materias:
Ciencias Informáticas
Petri nets
Distributed Systems
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9621
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Apr08-6.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares