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.
Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude
L. Capra
Primo
Conceptualization
;
2025
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
poster1.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Licenza:
Creative commons
Dimensione
559 kB
Formato
Adobe PDF
|
559 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
