Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude

Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude / L. Capra, M. Köhler-Bussmeier (CEUR WORKSHOP PROCEEDINGS). - In: PN-WS 2025 / [a cura di] M. Köhler-Bußmeier, D. Moldt, H. Rölke, R. Bergenthum, A. Rivkin, J. M. E.M. van der Werf, J. Desel, L. Petrucci. - [s.l] : CEUR Workshop Proceedings, 2025. - pp. 1-3 (( Intervento presentato al 15. convegno Joint Workshop Proceedings of PNSE, ATAED, and PeNGE at PETRI NETS : June 23 - 24 tenutosi a Paris nel 2025.