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

Abstract

State spaces of Stochastic Petri Nets (SPN) are exponent explosion based on subordinate models 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 models complexity, solves the model performance quantity analysis effective.