期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2011
卷号：8
期号：1
出版社：IJCSI Press
摘要：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.
关键词：Distributed Systems; Temporized Stochastic Petri Net; Liveness; Boundedness and Interface Net
