Maude specification of nets-within-nets : a formal model of adaptable distributed systems

Capra, Lorenzo; Köhler-Bußmeier, Michael

doi:10.1145/3555776.3578617

Publisher DOI:	10.1145/3555776.3578617
Title:	Maude specification of nets-within-nets : a formal model of adaptable distributed systems
Language:	English
Authors:	Capra, Lorenzo Köhler-Bußmeier, Michael
Keywords:	Adaptive Systems; Petri Nets; Maude; Nets-within-Nets
Issue Date:	7-Jun-2023
Publisher:	Association for Computing Machinery
Part of Series:	SAC '23 : Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
Startpage:	188
Endpage:	191
Conference:	Annual ACM Symposium on Applied Computing 2023
URI:	http://hdl.handle.net/20.500.12738/13867
ISBN:	9781450395175
Review status:	This version was peer reviewed (peer review)
Institute:	Fakultät Technik und Informatik Department Informatik
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text