The Timed Dual Transitions Petri Net Model and its Analytical Technology
Tianlong Gu · Journal of Guilin University of Electronic Technology · 2004
The dual transitions Petri net is an efficacious tool for describing and studying embedded systems, but its application in hardware/software co-design is limited by its inability to deal with time information representation.In this paper,the Timed Dual Transitions Petri Net model is presented so as to represent timing property properly.State Equation and a timing analysis algorithm of this modeling technique are given to perform a timing performance analysis of systems.Based on the proposed algorithm,the timing analysis tool of the Timed Dual Transitions Petri Net is implemented.