A (Timed) State-Transition Semantics for Reflective Petri Nets.
Lorenzo CapraPublished in: SYNASC (2008)
Keyphrases
- petri net
- state transition
- state transition model
- state transitions
- black box
- input output
- hidden markov models
- state space
- petri net model
- colored petri nets
- probability distribution
- markov chain
- ims ld
- finite state machines
- service composition
- discrete event systems
- sequence diagrams
- transition model
- database
- concurrent systems
- state machines
- conceptual model
- dynamic programming
- fuzzy petri net
- machine learning