Author:
Degano P.,Meseguer J.,Montanari U.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Petri nets based on Lawvere theories;Mathematical Structures in Computer Science;2020-08
2. Open Petri nets;Mathematical Structures in Computer Science;2020-03
3. Toward a Uniform Approach to the Unfolding of Nets;Electronic Proceedings in Theoretical Computer Science;2018-10-04
4. Petri nets are dioids: a new algebraic foundation for non-deterministic net theory;Acta Informatica;2018-01-24
5. The complexity of reachability in vector addition systems;ACM SIGLOG News;2016-02-17