Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment

Author

Zaslavsky, A. ; Yeo, L.H. ; Lai, S.J. ; Mitelman, B.

Author_Institution

Dept. of Comput. Technol., Monash Univ., Caulfield East, Vic., Australia

fYear

1995

fDate

20-23 Sep 1995

Firstpage

292

Lastpage

299

Abstract

This paper proposes and discusses a simulation model of a message and transaction queuing protocol which supports submission of transactions from mobile workstations in a distributed multidatabase environment. The model is based on coloured Petri nets formalism. A hierarchical coloured Petri nets model describing the two key components of the protocol, namely message queuing facility and transaction queuing facility, is constructed and analyzed using the software tool Design/CPN. Simulation of message and transaction processing algorithms has been carried out to verify and refine the design of the proposed protocol. The tool has also enabled us to assess the practicality of the developed approach and study the impact of the protocol implementation. Finally, the results of simulation are analysed and discussed

Keywords

Petri nets; computer network management; digital simulation; distributed databases; mobile communication; protocols; queueing theory; simulation; software tools; transaction processing; workstations; Design/CPN software tool; Petri nets analysis; distributed multidatabase environment; hierarchical coloured Petri nets; message processing algorithms; message queuing protocol; mobile distributed computing environment; mobile workstations; protocol implementation; protocol verification; simulation model; simulation results; submitter management protocols; transaction management protocols; transaction processing algorithms; transaction queuing protocol; Analytical models; Computational modeling; Distributed computing; Electronic mail; Information technology; Mobile computing; Petri nets; Protocols; Queueing analysis; Workstations;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Communications and Networks, 1995. Proceedings., Fourth International Conference on

Conference_Location

Las Vegas, NV

Print_ISBN

0-8186-7180-7

Type

conf

DOI

10.1109/ICCCN.1995.540132

Filename

540132