Author:
von Bochmann Gregor,Probst David Karl
Publisher
Springer Berlin Heidelberg
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Toward a Uniform Approach to the Unfolding of Nets;Electronic Proceedings in Theoretical Computer Science;2018-10-04
2. Checking the inconsistent data in concurrent systems by Petri nets with data operations;INT C PAR DISTRIB SY;2016
3. Untanglings: a novel approach to analyzing concurrent systems;Formal Aspects of Computing;2015-11
4. Log-Based Simplification of Process Models;Lecture Notes in Computer Science;2015
5. Qualitative diagnosability of labeled petri nets revisited;Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference;2009-12