Petri nets and dynamic causality for service-oriented computations-Reference-Cited by-同舟云学术

Petri nets and dynamic causality for service-oriented computations

Published:2017-04-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Symposium on Applied Computing
language:
Short-container-title:

Author:

Casu Giovanni¹,Pinna G. Michele²

Affiliation:

1. Università di Cagliari, Cagliari, Italy

2. Università di Cagliari, Cagliari, Italy and Università di Cagliari, Cagliari, Italy

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3019612.3019806

Reference18 articles.

1. Dynamic Causality in Event Structures

2. Y. Arbach D. Karcher K. Peters and U. Nestmann. Dynamic causality in event structures (technical report). CoRR abs/1504.00512 2015. Y. Arbach D. Karcher K. Peters and U. Nestmann. Dynamic causality in event structures (technical report). CoRR abs/1504.00512 2015.

3. Domain and event structure semantics for Petri nets with read and inhibitor arcs

4. P. Baldan A. Corradini and U. Montanari. Contextual Petri nets asymmetric event structures and processes. Information and Computation 171(1) 2001. 10.1006/inco.2001.3060 P. Baldan A. Corradini and U. Montanari. Contextual Petri nets asymmetric event structures and processes. Information and Computation 171(1) 2001. 10.1006/inco.2001.3060

5. Lending Petri nets

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

1. A Reversible Perspective on Petri Nets and Event Structures;ACM Transactions on Computational Logic;2024-08-02

2. Token Trail Semantics II - Petri Nets And Their Net Language;Lecture Notes in Computer Science;2024

3. Reversible Occurrence Nets and Causal Reversible Prime Event Structures;Reversible Computation;2020

4. Operational Representation of Dependencies in Context-Dependent Event Structures;Lecture Notes in Computer Science;2020

5. Toward a Uniform Approach to the Unfolding of Nets;Electronic Proceedings in Theoretical Computer Science;2018-10-04