Concurrent, Real-Time Systems: a Systematic Approach Using Timed Petri Nets.
C. Y. WongTharam S. DillonKevin E. ForwardPublished in: Comput. Syst. Sci. Eng. (1987)
Keyphrases
- real time systems
- timed petri nets
- discrete event systems
- real time
- distributed systems
- mathematical modeling
- embedded systems
- real time database systems
- timing constraints
- petri net
- real time embedded
- architectural model
- telecommunication networks
- discrete event
- dynamical systems
- model based diagnosis
- complex systems
- optimal policy
- finite buffer
- scheduling problem
- object oriented programming language
- cooperative