Scenario-Based Timing Consistency Checking for Time Petri Nets.
Xuandong LiLei BuJun HuJianhua ZhaoTao ZhangGuoliang ZhengPublished in: FORTE (2006)
Keyphrases
- petri net
- consistency checking
- petri net model
- query answering
- discrete event systems
- fuzzy petri net
- service composition
- colored petri nets
- temporal constraints
- concurrent systems
- ims ld
- temporal reasoning
- state machines
- path consistency
- incomplete information
- sequence diagrams
- asynchronous circuits
- data exchange
- constraint satisfaction problems