High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications.
Dimitra AnanidouGeorge HassapisDimitris KleftourisPublished in: Panhellenic Conference on Informatics (2001)
Keyphrases
- petri net
- petri net model
- real time
- colored petri nets
- high level
- concurrent systems
- discrete event systems
- manufacturing systems
- low level
- high level petri nets
- ims ld
- temporal information
- low cost
- fuzzy petri net
- temporal constraints
- temporal reasoning
- process model
- service composition
- real time systems
- model checking
- story generation
- stochastic petri net
- artificial intelligence
- web service composition
- distributed systems
- computational intelligence
- control system