Performance of Distributed System
Many distributed systems are still too large to be handled. Thus, it’s important to find techniques that can be used to extend the size of the systems that can be verified and analyzed. In this paper, we study the qualitative and quantitative performance of the distributed systems that can be interacting with each other by using Temporized Stochastic Petri Net (TSPN). We consider then the composition asynchronous operation for deducing properties of a global distributed system from the properties of its components. Introduction of a structured interface net allows us to preserve properties of components in the global system.
Keywords: Distributed Systems, Temporized Stochastic Petri Net, Liveness, Boundedness and Interface Net
Download Full-Text
