Author:
Finkel Alain,McKenzie Pierre,Picaronny Claudine
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference30 articles.
1. P. Abdulla, K. Cerans, B. Jonsson, T. Yih-Kuen, General decidability theorems for infinite-state systems, in: Proceedings of 11th IEEE Symposium Logic in Computer Science (LICS 96), 1996, pp. 313–321
2. Some decision problems related to the reachability problem for Petri nets;Araki;Theoret. Comput. Sci.,1977
3. Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part 1,1987
4. G. Ciardo, Petri nets with marking-dependent arc cardinality: properties and analysis, advances in Petri nets, in: LNCS, Springer-Verlag, Berlin, 1994, pp. 179–198
5. Introduction to Algorithms;Cormen,1990
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Soundness of reset workflow nets;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Branch-Well-Structured Transition Systems and Extensions;Logical Methods in Computer Science;2024-06-12
3. Resilience and Home-Space for WSTS;Lecture Notes in Computer Science;2023-12-30
4. Branch-Well-Structured Transition Systems and Extensions;Formal Techniques for Distributed Objects, Components, and Systems;2022
5. FORWARD ANALYSIS FOR WSTS, PART III: KARP-MILLER TREES;LOG METH COMPUT SCI;2020