Solving the fundamental equation of Petri net using the decomposition into functional subnets
Dmitry A. Zaitsev · 2004
The technique of solution of the fundamental equation of Petri net based on decomposition into functional subnets is proposed. Solutions of the fundamental equation of the entire Petri net are calculated out of solutions of the fundamental equations of functional subnets for dual Petri net. Acceleration of computations obtained is exponential with the respect to dimension of Petri net.