In: Proc. of TENCON 87: IEEE Region 10 Conf. `Computers and Communications Technology Toward 2000', Vol. 2, pages 477-481. New York: IEEE, 1987.
Abstract: An approach is presented to performance analysis that is derived from timed Petri nets and extended by constraints and probabilities of transition to model timeout and additional behavior of communication protocols. Transitions of this net have deterministic firing times.