Way to analyze system with shared resources based on stachastic Petri nets
HOU Rong-hui,SHI Hao-shan
Journal of Computer Applications . 2005, (04): 881 -882 .  DOI: 10.3724/SP.J.1087.2005.0881