| Publisher URL: | https://nbn-resolving.de/urn:nbn:de:0074-3998-X https://ceur-ws.org/Vol-3998/poster1.pdf |
Title: | Algebraic petri nets with active tokens : effective implementation in maude | Language: | English | Authors: | Capra, Lorenzo Köhler-Bußmeier, Michael  |
Editor: | Köhler-Bußmeier, Michael Moldt, Daniel Rölke, Heiko Bergenthum, Robin Rivkin, Andrey van der Werf, Jan Martijn E.M. Desel, Jörg Petrucci, Laure |
Issue Date: | 18-Jul-2025 | Publisher: | RWTH Aachen | Part of Series: | Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE’25) co-located with PETRI NETS 2025 : June 23 - 24, 2025, Paris, France | Journal or Series Name: | CEUR workshop proceedings | Volume: | 3998 | Conference: | International Workshop on Petri Nets and Software Engineering 2025 International Conference on Application and Theory of Petri Nets and Concurrency 2025 |
URI: | https://hdl.handle.net/20.500.12738/18206 | ISSN: | 1613-0073 | Review status: | This version was peer reviewed (peer review) | Institute: | Department Informatik Fakultät Technik und Informatik |
Type: | Poster |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
This item is licensed under a Creative Commons License
