1. Amparore, E., Donatelli, S., Beccuti, M., Garbi, G., Miner, A.: Decision diagrams for Petri nets: which variable ordering? In: Proceedings of PNSE 2017. CEUR Workshop Proceedings, vol. 1846, pp. 31–50. CEUR-WS.org (2017)
2. Lecture Notes in Computer Science;J Chodak,2019
3. Lecture Notes in Computer Science;J-M Couvreur,2002
4. Gansner, E., North, S.: An open graph visualization system and its applications to software engineering. Softw.: Practice Experience 30(11), 1203–1233 (2000)
5. Gao, Q., Gilbert, D., Heiner, M., Liu, F., Maccagnola, D., Tree, D.: Multiscale modelling and analysis of planar cell polarity in the drosophila wing. IEEE/ACM Trans. Comput. Biol. Bioinform. 10(2), 337–351 (2013)