In: Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989, Champaign, IL, USA, pages 157-160. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: Temporal Petri nets are Petri nets in which certain restrictions on the firings of transitions are represented by formulas containing temporal operators. It is shown how temporal Petri nets can be used for formal specification and verification of the alternating bit protocol.
Keywords: alternating bit protocol; temporal net; communication protocol.