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 models quantities,it is feasible to solve state space explosion.This article introduces bask 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.
Stochastic Petri Nets Performance analysis Performance equivalence
Da-bin Qi Qiu-ju Li
University of Science and Technology Liaoning Anshan China Anshan Normal University Anshan China
国际会议
太原
英文
1557-1559
2012-12-08(万方平台首次上网日期,不代表论文的发表时间)