- -

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

  • Estadisticas de Uso

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

dc.contributor.author Llorens Agost, María Luisa es_ES
dc.contributor.author Oliver Villarroya, Javier es_ES
dc.contributor.author Silva Galiana, Josep Francesc es_ES
dc.contributor.author Tamarit Muñoz, Salvador es_ES
dc.date.accessioned 2013-07-03T07:29:13Z
dc.date.issued 2012
dc.identifier.issn 0965-9978
dc.identifier.uri http://hdl.handle.net/10251/30409
dc.description.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 the most extended formalisms used to specify, verify and simulate such kind of systems are CSP and the Petri nets. This work introduces a new technique that allows us to automatically transform a CSP specification into an equivalent Petri net. The transformation is formally defined by instrumenting the operational semantics of CSP. Because the technique uses a semantics-directed transformation, it produces Petri nets that are closer to the CSP specification and thus easier to understand. This result is interesting because it allows CSP developers not only to graphically animate their specifications through the use of the equivalent Petri net, but it also allows them to use all the tools and analysis techniques developed for Petri nets. es_ES
dc.description.sponsorship 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 under Grant PROMETEO/2011/052. S. Tamarit was partially supported by the Spanish MICINN under FPI Grant BES-2009-015019. en_EN
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation.ispartof Advances in Engineering Software es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Concurrent programming es_ES
dc.subject CSP es_ES
dc.subject Petri nets es_ES
dc.subject Semantics es_ES
dc.subject Traces es_ES
dc.subject Specification and Simulation es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Generating a Petri net from a CSP specification: a semantics-based method es_ES
dc.type Artículo es_ES
dc.embargo.lift 10000-01-01
dc.embargo.terms forever es_ES
dc.identifier.doi 10.1016/j.advengsoft.2012.02.006
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//BES-2009-015019/ES/BES-2009-015019/ es_ES
dc.rights.accessRights Cerrado es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation 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. https://doi.org/10.1016/j.advengsoft.2012.02.006 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion http://dx.doi.org/10.1016/j.advengsoft.2012.02.006 es_ES
dc.description.upvformatpinicio 110 es_ES
dc.description.upvformatpfin 130 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 50 es_ES
dc.relation.senia 214740
dc.contributor.funder Generalitat Valenciana es_ES


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

Mostrar el registro sencillo del ítem