Login / Signup
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis.
Raymond R. Devillers
Published in:
CoRR (2021)
Keyphrases
</>
petri net
transition systems
concurrent systems
reactive systems
petri net model
model checking
fuzzy petri net
temporal logic
web service composition
practical reasoning
finite state
multi agent systems
process model
control flow
stochastic petri net