Login / Signup
Formal Translation from Reversing Petri Nets to Coloured Petri Nets.
Kamila Barylska
Anna Gogolinska
Lukasz Mikulski
Anna Philippou
Marcin Piatkowski
Kyriaki Psara
Published in:
RC (2022)
Keyphrases
</>
petri net
coloured petri nets
petri net model
reactive systems
manufacturing systems
discrete event systems
colored petri nets
formal verification
high level petri nets
service composition
ims ld
stochastic petri net
fuzzy petri net
process model
decision making
state machines
concurrent processes