Author:
Bilgram Alexander,Jensen Peter G.,Pedersen Thomas,Srba Jiří,Taankvist Peter H.
Publisher
Springer International Publishing
Reference27 articles.
1. Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA - construction of abstract state spaces for Petri nets and time Petri nets. Int. J. Prod. Res. 42, 2741–2756 (2004). https://doi.org/10.1080/00207540412331312688
2. Bilgram, A., Jensen, P.G., Pedersen, T., Srba, J., Taankvist, P.H.: Repeatability Package for: Improvements in Unfolding of Colored Petri Nets (2021). https://doi.org/10.5281/zenodo.5255603
3. Lecture Notes in Computer Science;J Chodak,2019
4. Christensen, N., Glavind, M., Schmid, S., Srba, J.: Latte: improving the latency of transiently consistent network update schedules. SIGMETRICS Perform. Eval. Rev. 48(3), 14–26 (2021). https://doi.org/10.1145/3453953.3453957
5. Ciaghi, A., Weldemariam, K., Villafiorita, A., Kessler, F.: Law modeling with ontological support and BPMN: a case study. In: The Second International Conference on Technical and Legal Aspects of the e-Society, CYBERLAWS 2011, pp. 29–34 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献