Login / Signup
Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure.
Lukas Voß
Sven Willrodt
Daniel Moldt
Michael Haustermann
Published in:
PNSE@Petri Nets (2022)
Keyphrases
</>
modular structure
expressive power
multi channel
explanatory power
asynchronous communication
mimo systems
case study
mobile robot
real time
machine learning
metadata
decision trees
description logics
collaborative learning
security properties