|
In this thesis, we use the Petri-Net to model a system, and we propose a heuristic algorithm to partition the Petri-Net into several autonomous servers. We then conduct a series of simula- tion experiments to test the performance of the algorithm and to identify the variables which influence the partition of the Petri-Net. Some factors influencing the properties of a partition are identified and their inter-relationships are shown. Based upon the simulation, we provide some suggestions for the develop- ment of the application in the distributed system environment.
|