In: Varaiya, P.; Kurzhanski, A.B.: Discrete Event Systems: Models and Applications, Lecture Notes in Control and Information Science, Vol. 103, pages 100-114. Berlin: Springer-Verlag, 1988.
Abstract: A new approach to the verification of a communiction protocol modelled as a discrete-event system is presented. This approach is based on the analysis of a communication protocol considered as a time-driven system. The analyzed protocol is specified by means of time-augumented Petri nets.