Author:
Byg Joakim,Jørgensen Kenneth Yrke,Srba Jiří
Publisher
Springer Berlin Heidelberg
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transforming Dynamic Condition Response Graphs to Safe Petri Nets;Application and Theory of Petri Nets and Concurrency;2023
2. PyLSE: a pulse-transfer level language for superconductor electronics;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets;Computer Information Systems and Industrial Management;2020
4. Obtaining Generic Petri Net Models of Railway Signaling Equipment;Intelligent Systems Applications in Software Engineering;2019
5. Asynchronous multi-process timed automata;Software Quality Journal;2017-06-28