Modeling and verification of a class of real-time systems by the use of High Level Petri Nets.
George HassapisDimitra AnanidouPublished in: J. Syst. Softw. (2003)
Keyphrases
- real time systems
- embedded real time systems
- petri net
- high level petri nets
- distributed systems
- real time
- real time database systems
- object oriented programming language
- model checking
- embedded systems
- timing constraints
- modeling language
- architectural model
- mission critical
- object oriented
- dynamic programming
- high level