Soundness in Object-centric Workflow Petri Nets.
Irina A. LomazovaAlexey A. MitsyukAndrey RivkinPublished in: CoRR (2021)
Keyphrases
- petri net
- petri net model
- manufacturing systems
- discrete event systems
- ims ld
- fuzzy petri net
- colored petri nets
- service composition
- workflow process
- process model
- state machines
- discrete dynamical systems
- stochastic petri net
- concurrent systems
- workflow models
- sequence diagrams
- expert systems
- artificial intelligence