Author:
Bruni Roberto,Meseguer José,Montanari Ugo,Sassone Vladimiro
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference36 articles.
1. Bednarczyk, M. A., and Borzyszkowski, A. M.1999, General morphisms of Petri nets, inProceedings of ICALP'99, 26th International Colloquim on Automata, Languages and ProgrammingJ. Wiedermann, P. van Emde Boas, and M. Nielsen, Eds., Lecture Notes in Computer Science, Vol. 1644, pp. 190–199, Springer-Verlag, Berlin.
2. The basic algebraic structures in categories of derivations;Benson;Inform. and Control,1975
3. Sequential and concurrent behaviour in Petri net theory;Best;Theoret. Comput. Sci.,1987
4. Specification and proof in membership equational logic;Bouhoula;Theoret. Comput. Sci.,2000
5. Brown, C., and Gurr, D.1990, A categorical linear framework for Petri nets, inProceedings of LICS'90, 5th Symposium on Logics in Computer Science, pp. 208–218, IEEE Computer Society, Los Alamitos, CA.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Whole-grain Petri Nets and Processes;Journal of the ACM;2022-12-19
2. Categories of Nets;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Petri nets based on Lawvere theories;Mathematical Structures in Computer Science;2020-08
4. Open Petri nets;Mathematical Structures in Computer Science;2020-03
5. Bayesian network semantics for Petri nets;Theoretical Computer Science;2020-02