Lorenzo Capra. Canonization of Reconfigurable PT Nets in Maude. In Anthony W. Lin, Georg Zetzsche, Igor Potapov, editors, Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings. Volume 13608 of Lecture Notes in Computer Science, pages 160-177, Springer, 2022. [doi]
Abstract is missing.