[1]谢友柏[1,2].现代设计理论中的若干基本概念[J].机械工程学报,2007,43(11):7-16.
[2]Lee Y K,Park S. OPNets:an Object--oriented High --level Petri Net Model for Real- time System Modeling[J].Journal of System Software, 1993,20 (1):69-86.
[3]Lakos C A. Object-oriented Modeling with ObjectPetri Nets[C]//LNCS 2001. Berlin,2001 : 1-37.
[4]Liu Huiran,Jiang Zhibin,Fung R Y K. Modeling of Large-scale Complex Re-entrant Manufacturing Systems by Extended Object--oriented Petri Nets [J]. International Journal of Advanced Manufacturing Technology, 2005,27 (1/2) : 190-204.
[5]Loures E R,de Paula M A B,Santos E A P. A Con- trol- Monitoring- Maintenance Framework Based on Petri Net with Objects in Flexible Manufacturing System[C]//Third International Conference on Pro- duction Research Americas' Region 2006. Curitiba, Brazil,2006 : 1257-1263.
[6]Xu Zhenzhen, Feng Xisheng, Li Yiping. Cooperation Model Design Based on Object-oriented Petri Net for Multiple Heterogeneous UUVs System [C]// WCICA2008. Chongqing, 2008 : 5710-5715.
[7]Kuisak A,Yang H H. Modeling the Design Process with Petri Nets [M]. London: Chapman & Hall, 1993.
[8]Kuisak A, Wang J, He D W, et al. A Structured Ap- proach for Analysis of Design Process[J]. IEEE Trans- actions on Components, Packaging, and Manufacturing Technology-Part A, 1995,18(3) : 664-673.
[9]安毅生[1,2],李人厚[1].基于过程控制网的协同设计建模与分析[J].计算机集成制造系统,2006,12(9):1352-1358.
[10]宋巍[1,2],窦万春[1,2],刘茜萍[1,2].时间约束Petri网及其可调度性分析与验证[J].软件学报:11-21.
[11]庞辉[1],方宗德[1],赵勇[1].时间约束工作流模型的简化分析与可调度性验证[J].计算机集成制造系统,2008,14(11):2217-2223.
[12]Jiang Z B,Zou M J,Fung R Y K,et al. Perform- ance Modeling of Complex Dynamic Production Systems Using Temporized Object--oriented Petri Net with Changeable Structure [J]. The Interna tional Journal of Advanced Manufacturing Tech- nology,2000,16(7) :521-536.
[13]张海霖[1],江志斌[1].基于R-OPN的集装箱码头物流系统建模与分析[J].上海交通大学学报:231-237.
[14]郭银章[1],曾建潮[1].基于TCPN的产品协同设计过程时序逻辑推理研究[J].计算机辅助设计与图形学学报,2010(10):1824-1830. |