Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.
Robin BergenthumSabine Folz-WeinsteinJakub KovárPublished in: Petri Nets (2023)
Keyphrases
- petri net
- colored petri nets
- stochastic petri net
- manufacturing systems
- petri net model
- discrete event systems
- sequence diagrams
- service composition
- ims ld
- dynamic behaviors
- process model
- concurrent systems
- artificial intelligence
- embedded real time systems
- fuzzy petri net
- process algebra
- reactive systems
- logic programming
- discrete dynamical systems
- genetic algorithm