Login / Signup
DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets.
Sebastian Ebert
Johannes Mey
René Schöne
Sebastian Götz
Uwe Aßmann
Published in:
MoDELS (Companion) (2023)
Keyphrases
</>
model driven
petri net
petri net model
data driven
lightweight
data integration
process model
discrete event systems
service oriented
database systems
fuzzy sets
case study
knowledge based systems
artificial intelligence
production system
design patterns
metamodel
data sets
colored petri nets
database