Analysis of Reconfigurable Core Cell Based on Stochastic Petri Net
Fuhuan Wang, Guosun Zeng · Jisuanji gongcheng · 2011
This paper proposes a method of modeling the reconfigurable core cell based on stochastic Petri net.For its structural properties,such as reachability,boundedness and safety,it presents the logical correctness verification.As to its performance properties,such as stable probability,transition probability and throughput rate,it presents the quantification analysis.This paper discusses the effects between dynamic reconfiguration time and the finished time of computing task under three different conditions.Analysis result shows that the shorter dynamic reconfigurable time is,the shorter task complete time is.