| Publisher DOI: | 10.1007/978-3-032-16632-6_9 | Title: | Integral implementation of higher-order algebraic Petri nets in Maude | Language: | English | Authors: | Capra, Lorenzo Köhler-Bußmeier, Michael  |
Editor: | Chatterjee, Bapi Kothapalli, Kishore Mittal, Neeraj Natarajan, Arul Murugan Singh, Dinesh |
Keywords: | Active tokens; Algebraic Petri nets; Maude | Issue Date: | 2026 | Publisher: | Springer | Book title: | Distributed computing and intelligent technology : 22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16-19, 2026 : proceedings | Journal or Series Name: | Lecture notes in computer science | Volume: | 16420 | Startpage: | 137 | Endpage: | 153 | Conference: | International Conference on Distributed Computing and Intelligent Technology 2026 | URI: | https://hdl.handle.net/20.500.12738/20334 | ISBN: | 978-3-032-16632-6 978-3-032-16631-9 978-3-032-16633-3 |
ISSN: | 1611-3349 | Review status: | This version was peer reviewed (peer review) | Institute: | Fakultät Informatik und Digitale Gesellschaft Forschungs- und Transferzentrum Smart Systems |
Type: | Chapter/Article (Proceedings) |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.