Author:
Bønneland Frederik M.,Jensen Peter Gjøl,Larsen Kim Guldstrand,Muñiz Marco,Srba Jiří
Publisher
Springer International Publishing
Reference41 articles.
1. Abdulla, P., Deneux, J., Mahata, P., Nylén, A.: Using forward reachability analysis for verification of timed Petri nets. Nord. J. Comput. 14, 1–42 (2007)
2. Lecture Notes in Computer Science;PA Abdulla,2001
3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
4. Lecture Notes in Computer Science;M Andersen,2013
5. André, E., Chatain, T., Rodríguez, C.: Preserving partial-order runs in parametric time Petri nets. ACM Trans. Embed. Comput. Syst. 16(2), 43:1–43:26 (2017)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献