Formal Translation from Reversing Petri Nets to Coloured Petri Nets.
Kamila BarylskaAnna GogolinskaLukasz MikulskiAnna PhilippouMarcin PiatkowskiKyriaki PsaraPublished in: CoRR (2023)
Keyphrases
- petri net
- coloured petri nets
- petri net model
- reactive systems
- formal verification
- discrete event systems
- manufacturing systems
- high level petri nets
- fuzzy petri net
- colored petri nets
- service composition
- state machines
- ims ld
- concurrent systems
- formal specification
- discrete dynamical systems
- programmable logic controller
- genetic algorithm
- concurrent processes
- stochastic petri net
- fuzzy reasoning
- service oriented
- process model