Study of Performance Equivalent Simplification Analysis and Application of Stochastic Petri Nets

State spaces of Stochastic Petri Nets (SPN) are exponent explosion based on subordinate model's quantities, it is feasible to solve state space explosion.This article introduces basic theories of SPN performance equivalence simplification, integrates the real workflow of sanction management, constructs workflow model based on SPN comparatively, further more, simplifies the model by equivalence simplification theories, reduces model's complexity, solves the model performance quantity analysis effective.