Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting.
Sander J. J. LeemansFabrizio Maria MaggiMarco MontaliPublished in: BPM (2022)
Keyphrases
- petri net
- petri net model
- discrete event systems
- manufacturing systems
- colored petri nets
- fuzzy petri net
- service composition
- dynamical systems
- knowledge representation
- knowledge base
- programmable logic controller
- ims ld
- process model
- stochastic petri net
- discrete dynamical systems
- model based diagnosis
- discrete event
- low cost
- sequence diagrams
- rough sets
- concurrent systems
- fuzzy logic
- concurrent processes
- learning environment
- neural network