Author:
Genrich H.J.,Lautenbach K.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
73 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Separability Problem of VASS Reachability Languages;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Target-oriented Petri Net Synthesis;Fundamenta Informaticae;2020-09-28
3. Formal Properties of Petri’s Cycloid Systems;Fundamenta Informaticae;2019-10-10
4. Characterisation of the state spaces of marked graph Petri nets;Information and Computation;2017-04
5. State space axioms for T-systems;Acta Informatica;2015-02-03