Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets.
Jeffrey J. P. TsaiStephen J. H. YangYao-Hsiung ChangEric Y. T. JuanPublished in: COMPSAC (1996)
Keyphrases
- petri net
- real time systems
- embedded real time systems
- distributed systems
- real time embedded
- real time
- mission critical
- manufacturing systems
- ims ld
- colored petri nets
- concurrent systems
- concurrent processes
- reactive systems
- multi agent
- service composition
- embedded systems
- discrete event systems
- petri net model
- stochastic petri net
- artificial intelligence
- real time database systems
- fuzzy petri net
- programmable logic controller