Login / Signup
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems.
Baptiste Pelletier
Charles Lesire
David Doose
Karen Godary-Dejean
Charles Dramé-Maigné
Published in:
FMAS/ASYDE@SEFM (2022)
Keyphrases
</>
petri net
autonomous systems
petri net model
colored petri nets
concurrent systems
uncertain environments
autonomous navigation
story generation
fuzzy petri net
service composition
dynamic environments
web service composition
ims ld
stochastic petri net
image sequences