In: J. Korea Inf. Sci. Soc. (South Korea), Vol. 15, No. 2, pages 141-148. April 1988.
Abstract: The paper presents extended timed Petri nets (ETPN) that have the additional transition conditions of constraints and probabilities about timed Petri nets. Such conditions make it easy to model and analyze performance of interacting asynchronous communication protocols, to model timeouts and system dependent behavior. The authors demonstrate the usefulness of this net by applying it to the analysis of the communication protocol.