Integral Implementation of Higher-Order Algebraic Petri Nets in Maude

Lorenzo Capra, Michael Köhler-Bußmeier. Integral Implementation of Higher-Order Algebraic Petri Nets in Maude. In Bapi Chatterjee, Kishore Kothapalli, Neeraj Mittal, Arul Murugan Natarajan, Dinesh Singh, editors, Distributed Computing and Intelligent Technology - 22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16-19, 2026, Proceedings. Volume 16420 of Lecture Notes in Computer Science, pages 137-153, Springer, 2026. [doi]

Authors

Lorenzo Capra

This author has not been identified. Look up 'Lorenzo Capra' in Google

Michael Köhler-Bußmeier

This author has not been identified. Look up 'Michael Köhler-Bußmeier' in Google