Reisig’s Algebraic Petri nets are highly expressive but rarely based on a strict algebraic framework. We present an effective translation using the declarative language Maude, which employs rewriting semantics. By exploring two definitions, we tackle modeling challenges from Maude’s pattern-matching operational semantics. We demonstrate the advantages of using rewritable terms as active tokens, as supported by Maude, with examples including an adaptive Multilevel Feedback Queue scheduling.
Integral Implementation of Higher-Order Algebraic Petri Nets in Maude / L. Capra, M. Köhler-Bußmeier (LECTURE NOTES IN COMPUTER SCIENCE). - In: Distributed Computing and Intelligent Technology / [a cura di] B. Chatterjee, K. Kothapalli, N. Mittal, A. M. Natarajan, D. Singh. - [s.l] : Springer Cham, 2026 Feb. - ISBN 9783032166319. - pp. 137-153 (( 22. ICDCIT Bhubaneswar 2026 [10.1007/978-3-032-16632-6_9].
Integral Implementation of Higher-Order Algebraic Petri Nets in Maude
L. Capra
Primo
Conceptualization
;
2026
Abstract
Reisig’s Algebraic Petri nets are highly expressive but rarely based on a strict algebraic framework. We present an effective translation using the declarative language Maude, which employs rewriting semantics. By exploring two definitions, we tackle modeling challenges from Maude’s pattern-matching operational semantics. We demonstrate the advantages of using rewritable terms as active tokens, as supported by Maude, with examples including an adaptive Multilevel Feedback Queue scheduling.
| File | Dimensione | Formato | |
|---|---|---|---|
|
978-3-032-16632-6_9.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Licenza:
Nessuna licenza
Dimensione
840.93 kB
Formato
Adobe PDF
|
840.93 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
