Benjamin Meis, Robin Bergenthum, Jörg Desel. travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. In Wil M. P. van der Aalst, Eike Best, editors, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings. Volume 10258 of Lecture Notes in Computer Science, pages 101-111, Springer, 2017. [doi]
Abstract is missing.