Reachability analysis of real-time systems using time Petri nets.
Jiacun WangYi DengGang XuPublished in: IEEE Trans. Syst. Man Cybern. Part B (2000)
Keyphrases
- real time systems
- reachability analysis
- petri net
- timed automata
- markov decision processes
- real time
- embedded real time systems
- petri net model
- model checking
- distributed systems
- discrete event systems
- embedded systems
- incremental algorithms
- service composition
- fuzzy petri net
- process model
- colored petri nets
- stochastic petri net
- state machines
- architectural model
- computational intelligence