Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.
Olivier H. RouxDidier LimePublished in: ICATPN (2004)
Keyphrases
- petri net
- formal semantics
- state space
- petri net model
- discrete event systems
- ims ld
- modelling language
- colored petri nets
- logical language
- first order logic
- fuzzy petri net
- dynamic programming
- service composition
- modeling language
- theorem prover
- process model
- stochastic petri net
- owl dl ontology
- case study
- concurrent processes
- access control
- reinforcement learning