- -

Generating a Petri net from a CSP specification: a semantics-based method

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Generating a Petri net from a CSP specification: a semantics-based method

Mostrar el registro completo del ítem

Llorens Agost, ML.; Oliver Villarroya, J.; Silva Galiana, JF.; Tamarit Muñoz, S. (2012). Generating a Petri net from a CSP specification: a semantics-based method. Advances in Engineering Software. 50:110-130. doi:10.1016/j.advengsoft.2012.02.006.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/30409

Ficheros en el ítem

Metadatos del ítem

Título: Generating a Petri net from a CSP specification: a semantics-based method
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[EN] The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of ...[+]
Palabras clave: Concurrent programming , CSP , Petri nets , Semantics , Traces , Specification and Simulation
Derechos de uso: Cerrado
Fuente:
Advances in Engineering Software. (issn: 0965-9978 )
DOI: 10.1016/j.advengsoft.2012.02.006
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.advengsoft.2012.02.006
Patrocinador:
Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) TIN2008-06622-C03-02
Generalitat Valenciana PROMETEO/2011/052
Spanish MICINN under FPI BES-2009-015019
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem