Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.
Serge HaddadDenis PoitrenaudPublished in: TIME (2001)
Keyphrases
- petri net
- discrete event systems
- manufacturing systems
- petri net model
- high level petri nets
- ims ld
- service composition
- state machines
- colored petri nets
- fuzzy petri net
- stochastic petri net
- temporal information
- concurrent systems
- discrete dynamical systems
- embedded systems
- temporal constraints
- neural network
- decision making
- artificial intelligence