In: IEE Proceedings E (Computers and Digital Techniques), Vol. 137, No. 1, pages 74-80. January 1990.
Abstract: The paper proposes a transformation method for the simplification of timed Petri nets to estimate the response time. A complicated time Petri net which is live and safe is transformed into a simpler one with a smaller state space by hierarchically replacing a convertible subnet with the corresponding decision net. It is shown that the information for the response time analysis is kept during the transformation.
Keywords: timed net; response time estimation; hierarchically replacing; decision net; convertible subnet.