Temporal Inference and Simulation in Collaborative Design Process Based on Time Petri Net

Abstract:

Complex manufacture collaborative design process is a dynamic process with uncertainty, which is a process with multi-task executing in a parallel manner. It has obviously time constraint, which has been few studied up to now. Temporary inference and simulation problem for complex manufacture design process are mainly studied in this paper. Firstly, a Petri net model for collaborative design process is proposed based on time Petri net theory and four temporary inference algorithms of ordering, paralleling, selecting and circling structures in collaborative design process. Secondly, the authors design and develop a visually modeling and simulating circumstance for collaborative design process temporary inference based on time Petri net. Temporary inference for the whole collaborative design process and optimization to design task can be implemented by this simulation software. Finally, collaborative design process for driver of chain-transportation-driven equipment is undertaken to shown the efficiency of the proposed method. Research in this paper affords a determinant principle for time arrangement of collaborative design task and it also affords schema scheduling.

• Periodical: Applied Mechanics and Materials (Volumes 34-35)
• Pages: 85-91
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.34-35.85
• Online since: October 2010
• Authors: Yin Zhang Guo, Jian Chao Zeng
• Keywords: Collaborative Design Process, Procedure Simulation, Temporary Inference, Time Petri Net

References

[1] Liewei XIE, Yaodong CHEN: Research on Process Modeling for Multi-Information Flow in Integrated Product Design [J] China Mechanical Engineering. 2000. 11(12): 1370-1372(in Chinese).

[2] P M Merlin, D J Farber: Recoverability of communication protocols. IEEE Transactions on Communications. 1976, 24(9): 1036～1043.

DOI: 10.1109/tcom.1976.1093424

[3] Y Yao: A Petri net model for temporal representations and reasoning. IEEE Transactions on Systems, Man, and Cybernetics, 1994, 24(9): 1374～1382.

DOI: 10.1109/21.310513

[4] Yuyin SONG, Xiuping CHU, Fuzhi CAI: Research of the process modeling of real-time concurrent design based on time Petri nets [J]. Computer Integrated Manufacturing Systems, 1999, 5(6): 17-22(in Chinese).

[5] Feng TIAN, Renhou LI, Jincheng ZHANG: Modeling and analysis of collaborative design activities using fuzzy-timing high-level Petri nets [J]. Journal of Computer-Aided Design & Computer Graphics, 2004, 16(3): 267-274(in Chinese).

[6] J Cardoso: Petri net based reasoning for the diagnosis of dynamic discrete event systems[C]. In: 6thlntl. Fuzzy Systems Association World Congress. IFSA'95. SaoPaulo, Brazil, July, 1995. Vol. 1. 333~336.

[7] Meimei GAO, Zhiming WU: A temporal reasoning method of time Petri nets based on linear logic[J]. Journal of Computer Research & Development, 2000, 37(12): 1452-1456(in Chinese).

DOI: 10.1109/acc.2000.879151

[8] Ting LIU, Chuang LIN, Weidong LIU: Linear temporal inference of workflow management system based on timed Petri Net models [J]. Chinese Journal of Electronics, 2002, 30(2): 245~248(in Chinese).

[9] Chuang LIN, Liqin TIAN, Yaya WEI: Performance Equivalent analysis of workflow systems [J]. Journal of software, 2002, 13(8): 1472~1480(in Chinese).