zbMATH中的参考文献（参考文献17条)

1. 最好的，艾克；德维勒，雷蒙德；埃洛菲耶夫，叶夫根尼；Wimmel，Harro:面向目标的Petri网合成（2020）
2. Tredup，Ronny:合成（b）-有界（（m，n））-T系统的参数化复杂性（2020）
3. Wimmel，Harro:有界选择自由或分叉属性网的预合成（2020）
4. 施拉赫特，乌利；Wimmel，Harro:通过解决分离问题为Petri网合成重新命名LTS（2019）
5. 最好的，艾克；德维勒，雷蒙德；Schlachter，Uli:有界选择自由Petri网合成：算法问题（2018）
6. 最好的，艾克；德维勒，雷蒙德；施拉赫特，乌利；Wimmel，Harro:同步Petri网合成（2018）
7. Schlachter，Uli:网的受限子类的过近似Petri网合成（2018）
8. 巴杜埃尔，埃里克；Schlachter，Uli:使用Petri网合成的增量过程发现（2017）
9. 施拉赫特，乌利；Wimmel，Harro:（k）-模态转换系统的有界Petri网综合（2017）
10. 巴利斯卡，卡米拉；最好的，艾克；埃洛菲耶夫，叶夫根尼；米库尔斯基，乌卡斯；Piątkowski，Marcin:Petri网可解二进制字的条件（2016）
11. 巴利斯卡，卡米拉；库特尼，麦基；米库尔斯基，乌卡斯；Piątkowski，Marcin:Petri网中的可逆计算与可逆性（2016）
12. 最好的，艾克；Devillers，Raymond:prime cycles的力量（2016）
13. 最好的，艾克；埃洛菲耶夫，叶夫根尼；施拉赫特，乌利；Wimmel，Harro:描述Petri网可解二进制字（2016）
14. Schlachter，Uli:受限类网的Petri网综合（2016）
15. Schlachter，Uli:模态转换系统的有界Petri网合成是不可判定的（2016）
16. 最好的，艾克；Devillers，Raymond:持久系统的合成与再工程（2015）
17. 最好的，艾克；Schlachter，Uli:Petri网和过渡系统分析（2015）