Go beyond the SCOPE: A Temporal Situation Calculus-Based Software Tool for Time Petri Nets.
Xing TanPublished in: IEA/AIE (2012)
Keyphrases
- petri net
- situation calculus
- action theories
- event calculus
- colored petri nets
- discrete event systems
- initial state
- fluent calculus
- petri net model
- reasoning about actions
- modal logic
- logical language
- provably correct
- temporal constraints
- concurrent actions
- fuzzy petri net
- temporal information
- temporal databases
- stochastic petri net
- ims ld
- indirect effects
- service composition
- sensing actions
- temporal reasoning
- incomplete information
- object oriented
- artificial intelligence