Synthesis rules for Petri nets, and how they lead to new results-Reference-Cited by-同舟云学术

Synthesis rules for Petri nets, and how they lead to new results

Published: Issue: Volume: Page:182-198
ISSN:
Container-title:CONCUR '90 Theories of Concurrency: Unification and Extension
language:
Short-container-title:

Author:

Esparza Javier

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0039060.pdf

Reference9 articles.

1. Best, E.: Structure Theory of Petri Nets: the Free Choice Hiatus, Advanced Course on Petri Nets, Bad Honnef, Lecture Notes on Computer Science 254–255, Springer (1987).

2. Campos, J; Chiola, G.: Private communication (1989).

3. Esparza, J.; Silva, M.: Top-down Synthesis of Live & Bounded Free Choice Nets. To appear in: Proceedings of the XI International Conference on Applications and Theory of Petri Nets, Paris (June 1990).

4. Esparza, J.: Structure Theory of Free Choice nets. Ph.D. Thesis, University of Zaragoza (June 1990).

5. Genrich, H.; Thiagarajan, P.S.: A theory of bipolar synchronisation schemes, Theoretical Computer Science, 30, pp. 241–318 (1984).

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

1. Coverability in Well-Formed Free-Choice Petri Nets;Lecture Notes in Computer Science;2024

2. Fast Incremental Conformance Analysis for Interactive Process Discovery;Business Information Systems;2018

3. Incremental Computation of Synthesis Rules for Free-Choice Petri Nets;Formal Aspects of Component Software;2018

4. Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets);Tools and Algorithms for the Construction and Analysis of Systems;2016

5. Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management;Lectures on Concurrency and Petri Nets;2004