期刊文献+

基于对象的扩展Petri网协同设计过程分析 被引量:1

Analysis of cooperative design process using object-based extended Petri nets
下载PDF
导出
摘要 针对协同设计中任务的执行流程缺乏柔性,不利于分析实际设计过程的现状,提出一种单元调用变迁对与决策变迁相集成的基于对象的扩展Petri网,扩展了Petri网的可达图以适应分析OEPNs模型.采用OEPNs中的过程网和单元网对协同设计过程建模,利用模型中的单元调用变迁对和决策变迁对过程本身和可能状态进行分析.最后与相关的研究工作进行比较并给出了结论. A cooperative design task is lack of the flexibility of executing flow, which is not suitable for analyzing practical design process. An object-based extended Petri nets which integrats the units call transition pairs and decision transition is proposed. The reachable graph of traditional Petri nets is extended to meet the analysis of OEPNs. The cooperative design process is modeled by using process nets and unit nets, its properties and potential states are analyzed by using units call transition pairs and decision transition. Finally, the research results are compared with other works proposed in literature and the corresponding evaluation is given.
出处 《控制与决策》 EI CSCD 北大核心 2008年第9期1004-1010,共7页 Control and Decision
基金 国家自然科学基金项目(60473136)
关键词 协同设计 PETRI网 决策变迁 单元调用变迁对 Cooperative design Petri nets Decision transition Units call transition pairs
  • 相关文献

参考文献14

  • 1Lakos C A. From colored Petri nets to object Petri nets [C]. LNCS'935. Torino: Springer-Verlag, 1995: 278- 297.
  • 2Lakos C A. Object-oriented modeling with object Petri nets[C]. LNCS'2001. Berlin: Springer-Verlag, 2001: 1-37.
  • 3Keen C D, Lakos C A. Information systems modeling using LOOPN++: An object Petri net scheme [C]. Proe of 4th Int Working Conf on Dynamic Modeling and Information Systems. Netherlands: Delft University Press, 1994: 31-52.
  • 4Milan C, Vladimir J, Tomas V. Modeling, prototyping and verifying concurrent and distributed applications using object-oriented Petri nets[J]. Kybernetes, 2002, 31(9/10) : 1289-1299.
  • 5Tomas V. Towards formal analysis and verification over space states of object-oriented Petri nets [D]. Bron: Bron University of Technology, 2001.
  • 6Lakos C A, Lamp J W, Keen C D. Modeling network protocols with object Petri nets[C]. Proc of Workshop on Petri Nets Applied to Protoeols. Torino: Springer, 1995 : 31-42.
  • 7Radek K, Tomas V. A PNtalk-based model of a cooperative editor[C]. Proc of 35th Spring Int Conf on Modelling and Simulation of Systems. Hradec had Moravici, 2001: 165-172.
  • 8Lee Y K, J Park S. OPNets.. An object-oriented high-level Petri net model for real-time system modeling[J]. J of System Software, 1993, 20(1): 69-86.
  • 9Wang L. Objected-oriented Petri nets for modeling and analysis of automated manufacturing systems [J]. Computer Integrated Manufacturing Systems, 1996, 26 (2): 111-125.
  • 10Girault C, Valk R. Petri nets for systems engineering: A guide to modeling, verification and applications[M]. Berlin: Springer-Verlag, 2002.

二级参考文献9

  • 1于达,张钹,陈陈.时间Petri网的分析工具PANT及其在调度问题中的应用[J].计算机学报,1994,17(6):417-423. 被引量:11
  • 2高飞,叶尚辉.基于特征的设计过程模型[J].计算机辅助设计与图形学学报,1995,7(1):69-74. 被引量:6
  • 3ALBAONO L D, SUH N P. Axiomatic design and concurrent engineering[J]. Computer-Aided Design,1994,26(7):499-504.
  • 4SALIMIFARD K H, WRIGHT M. Petri net-based modeling of workflow systems: An overview[J]. European Journal of Operational Research, 2001, 134: 664-676.
  • 5GEBALA D A, EPPINGER S D. Methods for analyzing design procedures[J]. Design Theory and Methodology, 1991, 34: 64-76.
  • 6JENSEN K. An introduction to the theoretical aspects of colored Petri nets[J]. Computer Science, 1994, 803: 230-272.
  • 7EDWIN H R. Petri nets in the evaluation of collaborative systems[J]. IEEE International Conference on Systems, Man, and Cybernetics, 1997, 10: 30-42.
  • 8ZHAO L, YAN J. Modeling collaborative engineering design process using Petri-net[J]. Proceedings of DETC'00, ASME Conference, 2000, 14: 130-142.
  • 9宋玉银,蔡复之.基于特征的零件设计与工艺设计的实时并行方法研究[J].高技术通讯,1998,8(10):10-14. 被引量:6

共引文献46

同被引文献13

  • 1安毅生,李人厚.基于过程控制网的协同设计建模与分析[J].计算机集成制造系统,2006,12(9):1352-1358. 被引量:4
  • 2ZAKARIAN A, KUSIAK A. Analysis of process models[J]. IEEE Transactions on Electronics Packaging Manufacturing, 2000,23(2):137-147.
  • 3PARK H, CUTKOSKY M R. Framework for modeling depe- ndencies in collaborative engineering proeesses[J]. Research in Engineering Design, 1991,11(2) :84-102.
  • 4GIRAULT C, VALK R. Petri nets for systems engineering:a guide to modeling, verification, and applications[M]. Berlin, Germany : Springer Verlag, 2002.
  • 5LEE Y K, PARK S. OPNets:an object oriented high-level Pe- tri net model for real time system modeling[J]. Journal of System Software, 1993,20 ( 1 ) : 69-86.
  • 6I.AKOS C. From colored Petri nets to object Petri nets[EB/ OL]. [2010-03-08]. http://citeseerx. ist. psu. edu/viewdoc/ download; jsessionid = DA8A21FD1732165A38BOAFIDA4 CB9A267 doi=10. 1.1.45. 1523N-rep=rep1&type=pdf.
  • 7LAKOS C. Object-oriented modeling with object Petri nets [EB/OL]. [2010-03-15]. http://citeseerx. ist. psu. edu/ viewdoc/download? doi= 10. 1. 1.45. 8135&rep=rep1&type= pdf.
  • 8TOMAS V. Towards formal analysis and verification over sp- ace states of object-oriented Petri nets[D]. Bron, France, Bron University of Technology,2001.
  • 9YU Zhenhua, LI Zhiwu. Objiect-oriented Petri nets based ar chitecture description language for Multi Agent systems [C]//Proceedings of 2005 IEEE Networking, Sensing and Control. Washington, D.C. ,USA:IEEE,2005:256-260.
  • 10谢友柏.现代设计理论中的若干基本概念[J].机械工程学报,2007,43(11):7-16. 被引量:32

引证文献1

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部