Generating a Petri net from a CSP specification: A semantics-based method-Reference-Cited by-同舟云学术

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

Published:2012-08 Issue: Volume:50 Page:110-130
ISSN:0965-9978
Container-title:Advances in Engineering Software
language:en
Short-container-title:Advances in Engineering Software

Author:

Llorens M.,Oliver J.,Silva J.,Tamarit S.

Funder

Spanish Ministerio de Economı´a y Competitividad (Secretarı´a de Estado de Investigación, Desarrollo e Innovación)

Generalitat Valenciana

Spanish MICINN

Publisher

Elsevier BV

Subject

General Engineering,Software

Reference26 articles.

1. The box algebra=Petri nets+process expressions;Best;Informat Comput,2002

2. Bradley JT, Knottenbelt WJ. The ipc/HYDRA tool chain for the analysis of PEPA models. In: Proceedings of the 1st IEEE conference on the quantitative evaluation of systems (QEST’04). IEEE Computer Society Press; 2004. p. 334–5.

3. Buth B, Peleska J, Shi H. Combining methods for the livelock analysis of a fault-tolerant system. In: Proceedings of the 7th international conference on algebraic methodology and software technology (AMAST’98); 1999. p. 124–39.

4. de Cindio F, de Michelis G, Pomello L, Simone C. A Petri net model of CSP. In: Proceedings of Convención Informática Latina (CIL’81), Barcelona; 1981. p. 392–406.

5. An exercise in concurrency: a CSP process as a condition/event system;Degano,1988

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modular encoding of synchronous and asynchronous interactions using open Petri nets;Science of Computer Programming;2015-10

2. Fault Severity Evaluation and Improvement Design for Mechanical Systems Using the Fault Injection Technique and Gini Concordance Measure;Mathematical Problems in Engineering;2014

3. Encoding Synchronous Interactions Using Labelled Petri Nets;Lecture Notes in Computer Science;2014

4. Well Formed PetriNet for Reachablility;2012 Eighth International Conference on Signal Image Technology and Internet Based Systems;2012-11