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.

• Periodical: Advanced Materials Research (Volumes 756-759)
• Pages: 2975-2978
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.756-759.2975
• Online since: September 2013
• Authors: Da Bin Qi, Qiu Ju Li
• Keywords: Performance Analysis, Performance Equivalence, Stochastic Petri Nets

References

[1] K Salimifard, M Wright. Petri net-based modelling of workflow systems: An overview[J]. European Journal of Operational Research, 2001, 134(3).

DOI: 10.1016/s0377-2217(00)00292-7

[2] Jiang Hao , Dong Yisheng , Luo Junzhou . Research on Petri Net Based Modeling and Analyzing Methods for Workflow Process [J]. Journal of Southeast University , (2000).

[2] 68-70 (in Chinese).

[3] WFMC-TC-1011. Workflow Management Coalition Terminology&Glossary[S].

[4] Jang G W. K J, Kim Y Y. Integrated topology and shape optimitation software for compliant MEMS mechanism design[J]. Advances in Engineering Software, 2008, 39（1）：1-12.

DOI: 10.1016/j.advengsoft.2006.12.003

[5] Li J H, Gao S M, Liu Y S. Feature-based process layer modeling for surface micromachined MEMS [J]. Journal of Micromechanics and Microengineering, 2005, 15（3）：620-630.

DOI: 10.1088/0960-1317/15/3/026

[6] Girault C, Valk R Petri nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Berlin: Springer-Verlag, 2003 483-565.

[7] Lerbet J. About the synchronization of MEMs [J]. Nonlinear Analysis：Real World Applications, 2009, 10(1)：266-276.

DOI: 10.1016/j.nonrwa.2007.09.009

[8] Kim G H, Park K C. A continuum-based modeling of MEMS devices for estimating their resonant frequencies[J]. Computer Methods in Applied Mechanics and Engineering , 2008, 198(2)：234-242.

DOI: 10.1016/j.cma.2008.07.017

[9] YUAN Chongyi. The principle and application of Petri nets[M]. Beijing：Publishing House of Electronics Industry, (2005).

[10] KIM, H W, KIM Y G. Dynamic process modeling for BPR：a computerized simulation approach[J]. Information and Management, 1997, 32(1)：1-13.

[11] Li Tao, Zhong Shisheng. Workflow model with colored timed Petri net and its performance analysis[J]. Journal of Computer-Aided Design & Computer Graphics, 2006, 18(6)：821-831 (in Chinese).

[12] AALST W, HOFSTEDE A. YAWL：yet another workflow language[R]. Brisbane, Queensland, Australia：Queensland University of Technology, (2003).

[13] W M P van der Aalst. The application of Petri nets to workflow management[J]. Journal of Circuits, Systems and Computers , 1998, 8 (1)：21-66.

DOI: 10.1142/s0218126698000043