In: First Brazilian Petri Net Meeting - Natal - Brazil (CD-ROM). September 2002.
Abstract: Communication protocols have been extensively studied with the aid of Petri nets. Some of them may require very complex nets in order to be modeled. This paper presents a case study with a flow control protocol in order to show how a rather complex protocol may be studied with the aid of a simple colored Petri net. It is shown, for example, that unwanted consequences may arise when one of the implied assumptions on the behavior of a eliable medium is not fulfilled. That is, if frame sequences can be received in a different order with regard to the original order they were emitted. Finally, a slight modification on the protocol is also suggested in order to circumvent this kind of problem.