- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

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

Files in this item

Item Metadata

Title: Generating a Petri net from a CSP specification: a semantics-based method
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[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 ...[+]
Subjects: Concurrent programming , CSP , Petri nets , Semantics , Traces , Specification and Simulation
Copyrigths: Cerrado
Source:
Advances in Engineering Software. (issn: 0965-9978 )
DOI: 10.1016/j.advengsoft.2012.02.006
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.advengsoft.2012.02.006
Thanks:
This work has been partially supported by the Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) under Grant TIN2008-06622-C03-02 and by the Generalitat Valenciana ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record