Dynamic Performance Analysis for Collaborative Design Model of Machinery Products Based on Invariant Analysis

Abstract:

This paper studied the problem of deadlock performance analysis for collaborative design process model based on extended objective Petri Net (OPN). Firstly, the definition of CSCD extended OPN model based on decision rules has been proposed by analyzing the collectivity requirement for the machinery products collaborative design system to be built. Besides, models for the OPN model of process controlling nets and design unit objective class. Then OPN invariant analysis theory has been adopted to analyze the dynamic performance of deadlock to the part design unit by building its object communication net. The dynamic performance of the whole model could be obtained by analyzing the performance of all the design unit object class.

• Periodical: Advanced Materials Research (Volumes 211-212)
• Pages: 340-346
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.211-212.340
• Online since: February 2011
• Authors: Yin Zhang Guo, Jian Chao Zeng
• Keywords: Analysis to Model Performance, Collaborative Design Process, Invariant Analysis Method, Machinery Products

References

[1] Girault C，Valk R: Petri nets for systems engineering: a guide to modeling, verification, and applications [M]. Berlin, Germany: Springer-Verlag, (2002).

[2] Pastor E, Cortadella J: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets/ Proceedings of the Conference on Design, Automation and Test in Europe, Paris, March 1998, pp.790-795.

DOI: 10.1109/date.1998.655948

[3] Pastor E, Cortadella J. Symbolic: Analysis of Bounded Petri Nets, IEEE Transactions on Computers, Vol. 50 (5)(2001), pp.432-448.

DOI: 10.1109/12.926158

[4] Minato. S: Zero-suppressed BDDs for Set Manipulation in Combinatorial Problems/ Proceedings of DAC, 1993, pp.272-277.

DOI: 10.1145/157485.164890

[5] Minato S: Zero-suppressed BDDs and Their Applications. International Journal on Software Tools for Technology Transfer, Vol. 3 (2)(2001), pp.156-170.

DOI: 10.1007/s100090100038

[6] LI Feng-ying, GU Tian-long, XU Zhou-Bo: Symbolic reach ability analysis of Petri nets using ZBDDs[J]. Chinese Journal of Computer, Vol. 32(12)(2009), pp.1-12, in Chinese.

[7] AN Yisheng, LI Renhou: Analysis of cooperative design process using object based on extended Petri nets [J]. Control and Decision, Vol. 23(9)(2008), pp.1004-1010, in Chinese.

[8] ZHANG Hai-lin,　JIANG Zhi-bi: Rule Based Object-Oriented Petri Net Modeling and Analysis of Container Terminal Logistic System[J]. Journal of ShangHai JiaoTong University , Vol. 41(2)(2007), pp.231-238 , in Chinese.

[9] WANG Li-Li,　WU Zhe-Hui: A Graph Algorithm to Find S-invariant of a Net [J]. Computer Science, Vol. 34(3)(2007).