Author:
Bruni Roberto,Montanari Ugo
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. T. Agerwala. A complete model for representing the coordination of asynchronous processes. Hopkins Computer Research Report 32, John Hopkins University, 1974.
2. T. Agerwala and M. Flynn. Comments on capabilities, limitations and “correctness” of Petri nets. Computer Architecture News, 4(2):81–86, 1973.
3. P. Baldan. Modelling concurrent computations: From contextual Petri nets to graph grammars. PhD thesis, Computer Science Department, University of Pisa, 2000. Published as Technical Report TD-1/00.
4. P. Baldan, A. Corradini, and U. Montanari. An event structure semantics for P/T contextual nets: Asymmetric event structures. In M. Nivat, editor, Proceedings of FoSSaCS’98, 1st International Conference on Foundations of Software Science and Computation Structures, volume 1378 of Lect. Notes in Comput. Sci., pages 63–80. Springer Verlag, 1999.
5. E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Theoret. Comput. Sci., 55:87–136, 1987.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Overview of Reconfigurable Petri Nets;Graph Transformation, Specifications, and Nets;2018
2. Process discovery and Petri nets;Mathematical Structures in Computer Science;2009-12
3. Dependencies and Simultaneity in Membrane Systems;Electronic Proceedings in Theoretical Computer Science;2009-11-30
4. On the Synthesis of Zero-Safe Nets;Concurrency, Graphs and Models;2008
5. Membrane Calculus: a formal method for Grid transactions;Concurrency and Computation: Practice and Experience;2006