Syntax and semantics for multimodal Petri nets
Added: Apr 23, 2025
P110
P150
P170
computer science
Abstract
The project aims to develop a combinatorial and diagrammatic syntax, as well as categorical semantics for multimodal Petri nets as a specification of dynamical systems that can exhibit mode or phase transitions which modify the vocabulary of possible places, events and interactions.
Related Papers
Safety and quality of high-risk plant-based foods and meat alternatives
Roasto, Mati
Similarity: 0.80
Apr 23, 2025
The Circular Schools – Empowering Secondary Education Students for a Green Future through Circularity Thinking Strategies
Voronova, Viktoria
Similarity: 0.80
Apr 23, 2025
Developing Estonian startup ecosystem and startup incubation programs: Part 1 - Developing the deep-tech startup ecosystem.
Lööve, Triinu
Similarity: 0.80
Apr 23, 2025