In: Wen, C.Y.; et al.: Proceedings of Beijing International Conference on System Simulation and Scientific Computing, 1989, Beijing, China; Vol. 1, pages 199-204. Oxford, UK: Pergamon, 1989.
Abstract: A Petri net is used to model and analyze the communication in distributed systems. After Petri net theory has been briefly introduced, the Message Transmission Protocol (MTP) is presented. A Petri net model of the MTP which considers the case of timeout for information loss and resending for transmission errors is developed. Finally, the properties of MTP are analysed by means of the Token Machine tool, the system with which MTP has been implemented.
Keywords: communication simulation (in) distributed system(s); message transmission protocol; timeout; information loss; Token Machine tool.