Linear logic as a tool for presentation and temporal reasoning of time Petri nets.
Meimei GaoXiaoguang HuangZhiMing WuPublished in: ACC (2000)
Keyphrases
- temporal reasoning
- petri net
- linear logic
- temporal constraints
- temporal information
- discrete event systems
- reasoning tasks
- petri net model
- logical framework
- qualitative and quantitative
- sequence diagrams
- constraint networks
- temporal knowledge
- colored petri nets
- temporal constraint networks
- path consistency
- logic programming
- fuzzy petri net
- desirable properties
- fixed point
- sequent calculus
- artificial intelligence
- service composition
- temporal intervals
- spatial information