Necessary condition for a Petri net model that incorporates resources to produce an event stream from an unknown initial state.
Lindsay V. AllenDawn M. TilburyPublished in: ACC (2011)
Keyphrases
- initial state
- petri net model
- petri net
- situation calculus
- state space
- stream processing
- stationary distribution
- event streams
- markov decision process
- optimal policy
- action theories
- service composition
- production process
- sufficient conditions
- event detection
- belief space
- goal state
- conformant planning
- data streams
- machine learning