3Molly M K.Performance Analysis Using Stochastic Petri Nets[J].IEEE Trans.on Computers,1982,C-31(9):913-917.
4Cabodi G,Camurati P,Quer S.Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring[J].Systems Architechture,2001,47(2):163-179.
