Bengt Lennartson. Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction. In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021. pages 557-562, IEEE, 2021. [doi]
Abstract is missing.