Domain and event structure semantics for Petri nets with read and inhibitor arcs-Reference-Cited by-同舟云学术

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

Published:2004-09 Issue:1-3 Volume:323 Page:129-189
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Baldan P.,Busi N.,Corradini A.,Pinna G.M.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference41 articles.

1. T. Agerwala, A complete model for representing the coordination of asynchronous processes, Hopkins Computer Research Report 32, John Hopkins University, 1974.

2. Comments on capabilities, limitations and “correctness” of Petri nets;Agerwala;Comput. Archit. News,1973

3. Modelling with Generalized Stochastic Petri Nets;Ajmone Marsan,1995

4. P. Baldan, Modelling concurrent computations: from contextual Petri nets to graph grammars, Ph.D. Thesis, Department of Computer Science, University of Pisa, 2000. Available as Technical Report No. TD-1/00.

5. P. Baldan, N. Busi, A. Corradini, G.M. Pinna, Functorial concurrent semantics for Petri nets with read and inhibitor arcs, in: C. Palamidessi (Ed.), CONCUR’00 Conference Proceedings, Lecture Notes in Computer Science, Vol. 1877, Springer, Berlin, 2000, pp. 442–457.

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

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

2. A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks;Compositionality;2024-05-13

3. Relating Reversible Petri Nets and Reversible Event Structures, Categorically;Formal Techniques for Distributed Objects, Components, and Systems;2023

4. A Petri net view of covalent bonds;Theoretical Computer Science;2022-03

5. A new operational representation of dependencies in Event Structures;Logical Methods in Computer Science;2021-12-02