In: Hiradastechnika, Vol. 41, No. 12, pages 301-311. 1990. In Hungarian.
Abstract: It is necessary to use an easily programmable and enlargeable mathematical model for verification, implementation and testing of protocols. Mathematical models for protocols used nowadays haven't such a property. For example International Standards define the protocols with the Finite State Machine. This article shows how to transform the Finite State Machine to the Petri Nets, which is one of the most suitable models for the description of protocols. One can realize composition of different protocol functions simply.
Keywords: net models (of) finite state machines (and) protocol(s); state machine transformation (into nets); protocol function composition.