C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis and Analysis of Petri Nets from Causal Specifications.
Mateus de Oliveira Oliveira
Published in:
CAV (2) (2022)
Keyphrases
</>
petri net
colored petri nets
state machines
discrete event systems
artificial intelligence
dynamical systems
reactive systems
concurrent systems
petri net model