Author:
Baldan Paolo,Corradini Andrea,Ehrig Hartmut,König Barbara
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Mathematical Structures in Computer Science 15(1), 1–35 (2005)
2. Lecture Notes in Computer Science;P. Baldan,2007
3. Basten, T.: In terms of nets: System design with Petri nets and process algebra. PhD thesis, Eindhoven University of Technology (1998)
4. Lecture Notes in Computer Science;F. Bonchi,2007
5. Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26, 241–265 (1996)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Categorical Semantics for Hierarchical Petri Nets;Electronic Proceedings in Theoretical Computer Science;2021-12-21
2. Extensional Petri net;Formal Aspects of Computing;2019-02-12
3. Treatment pathways as petri nets in patient workflow management;Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services;2017-12-04
4. Place Bisimulation and Liveness for Open Petri Nets;Dependable Software Engineering: Theories, Tools, and Applications;2016
5. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets;Applications and Theory of Petri Nets;2010