A real time Petri net (KTPN) model is proposed to model the task specification of a real time system in terms of events, actions, states, and temporal constraints. The basic operations of a RTPN include executable transition identification, marking updating, temporal constraint check, and shared input/output calculation. These are timeconsuming processes on whatever computers they are executed. A hardware-implementable execution model is proposed to improve their performance. Detailed hardware designs of the event and state matching modules in the execution model are described. They employ an associative technique to provide massive parallelism needed in the modules. Moreover, the time complexities of the event and state matching modules are constant, which allows us to better control or predict the behavior of a real time task — a very important feature in a real-time system.
|Number of pages||12|
|Journal||Journal of the Chinese Institute of Engineers, Transactions of the Chinese Institute of Engineers,Series A/Chung-kuo Kung Ch'eng Hsuch K'an|
|Publication status||Published - 1995 Jun|
All Science Journal Classification (ASJC) codes