In: IEEE International Conference on Communications'88: Digital Technology - Spanning the Universe Conference Record, Vol. 2, pages 673-677. 1988.
Abstract: The author modeled the simplified SHINPADS (SHipboard INtegrated Processing and Display System) protocol using extended M-type Petri nets. The simplification consists of the cancellation of priorities. The extended nets not only use ordinary arcs but also include inhibit arcs, which make them more general, and gate arcs, which reduce the number of places and make them a more natural modeling tool.