Xiong Wei, Meng Cheng. DSPN: Deadlock Detection and Solutions of Reachability Graphs for Petri Nets. In 3rd International Conference on Artificial Intelligence and Advanced Manufacture, AIAM 2021, Manchester, United Kingdom, October 23-25, 2021. pages 5-10, IEEE, 2021. [doi]
Abstract is missing.