[1]高茜,罗军舟.一种基于Petri网的可扩展的CIM信息系统建模方法[J].东南大学学报(自然科学版),2004,34(2):184-188.[doi:10.3969/j.issn.1001-0505.2004.02.010]
 Gao Qian,Luo Junzhou.Scalable methodology for CIM information system modeling based on Petri nets[J].Journal of Southeast University (Natural Science Edition),2004,34(2):184-188.[doi:10.3969/j.issn.1001-0505.2004.02.010]
点击复制

一种基于Petri网的可扩展的CIM信息系统建模方法()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
34
期数:
2004年第2期
页码:
184-188
栏目:
计算机科学与工程
出版日期:
2004-03-20

文章信息/Info

Title:
Scalable methodology for CIM information system modeling based on Petri nets
作者:
高茜 罗军舟
东南大学计算机科学与工程系, 南京 210096
Author(s):
Gao Qian Luo Junzhou
Department of Computer Science and Engineering, Southeast University, Nanjing 210096, China
关键词:
CIM Petri网 信息系统 系统分析
Keywords:
CIM Petri nets information system system analysis
分类号:
TP393
DOI:
10.3969/j.issn.1001-0505.2004.02.010
摘要:
在对现有CIM信息系统建模方法局限性分析的基础上,提出了一种基于逐步求精的时间有色Petri网——分层时间有色Petri网(HTCPN),并给出CIM信息系统的设计框架及其HTCPN表示.介绍了利用HTCPN进行系统分析的方法.使用HTCPN可以很好地描述和分析系统的动态属性,由于引入了分层的概念,将复杂系统的设计和分析简化为简单子网系统的设计和分析,从而提高了系统设计的可扩展性和效率.
Abstract:
To overcome the drawbacks of the existed modeling approach of CIM information system, a new type of timed colored Petri net using stepwise refinement approach-hierarchical timed colored Petri net(HTCPN)is proposed. Furthermore,using HTCPN,a design framework of CIM information system and its analysis approach are presented. HTCPN can adequately describe and analyze dynamic properties of a system. Because of hierarchical modeling, the design and analysis of a complex system can be simplified to be those of simple subnet system, thus the scalability and efficiency of system design are increased.

参考文献/References:

[1] 陈禹六,谢斌,董亚男.计算机集成制造(CIM)系统设计和实施方法论 [M].北京:清华大学出版社,1996.14-18.
[2] 袁崇义.Petri网原理 [M].北京:电子工业出版社,1996.25-49.
[3] Harhalakis G,Lin C P,Mark L,et al.Information system for integrated manufacturing(INSIM)[A].In:Decision Aiding for Complex Systems,IEEE International Conference on [C].Charlottesville,VA,USA,1991.335-341.
[4] Zuberek W M.Hierarchical analysis of manufacturing systems using Petri nets [A].In:Systems,Man,and Cybernetics,IEEE International Conference on [C].Nashville,TN,USA,2000.3021-3026.
[5] Yan Pingtao,Zhou Mengchu,Hu Baosheng,et al.Modeling and control of FMS workstation level information flow by a modified Petri net [A].In: Emerging Technologies and Factory Automation Proceedings,International Conference on [C].Los Angeles,USA,1997.321-326.
[6] Koh I,Dicesare F,Rubenstein A.Modeling and control information flow for a CIM system using colored Petri nets [A].In: Decision Aiding for Complex Systems[C].Charlottesville,VA,USA,1991.343 -348.
[7] Yao Yulin.An approach to formal modeling and analyzing of organization decision information systems [A].In:Systems,Man,and Cybernetics,IEEE International Conference on[C].San Antonio,TX,USA,1994.1491-1496.
[8] 莫以为,萧德云.基于模型驱动的流程工业CIMS信息集成方法 [J].计算机集成制造系统——CIMS,2000,6(3):49-54.
  Mo Yiwei,Xiao Deyun.A model-driven approach to information integration of CIMS for continuous process industries [J].Computer Integrated Manufacturing System, 2000,6(3):49-54.(in Chinese)
[9] 李芳芸,柴跃廷.CIMS环境下——集成化管理信息系统的分析、设计与实施 [M].北京:清华大学出版社,1996.35-52.
[10] Murata T.Petri nets:properties,analysis and applications [J]. Proceedings of IEEE, 1989,77(4):541-580.

相似文献/References:

[1]王冬冬,达庆利.基于模糊Petri网的供应链诊断建模分析[J].东南大学学报(自然科学版),2006,36(4):662.[doi:10.3969/j.issn.1001-0505.2006.04.036]
 Wang Dongdong,Da Qingli.Analyzing and modeling of supply chain diagnosis based on fuzzy Petri net[J].Journal of Southeast University (Natural Science Edition),2006,36(2):662.[doi:10.3969/j.issn.1001-0505.2006.04.036]
[2]苏春,许超,孙庆鸿.基于扩展着色赋时Petri网的板材FMS建模及分析[J].东南大学学报(自然科学版),2000,30(2):89.[doi:10.3969/j.issn.1001-0505.2000.02.019]
 Su Chun,Xu Chao,Sun Qinghong.Modeling and Analysis of the Sheet Metal FMS Based on Extended Colored Timed Petri Nets[J].Journal of Southeast University (Natural Science Edition),2000,30(2):89.[doi:10.3969/j.issn.1001-0505.2000.02.019]
[3]王茜,李刚,唐春华,等.按角色过程建模的研究与实现[J].东南大学学报(自然科学版),2000,30(3):1.[doi:10.3969/j.issn.1001-0505.2000.03.001]
 Wang Qian,Li Gang,Tang Chunhua,et al.Research and Implementation of Role-Based Process Modeling[J].Journal of Southeast University (Natural Science Edition),2000,30(2):1.[doi:10.3969/j.issn.1001-0505.2000.03.001]
[4]罗军舟,顾冠群.协议描述和验证的基本方法[J].东南大学学报(自然科学版),1996,26(5):1.[doi:10.3969/j.issn.1001-0505.1996.05.001]
 Luo Junzhou,Gu Guanqun.Basic Method for Protocol Specification and Verification[J].Journal of Southeast University (Natural Science Edition),1996,26(2):1.[doi:10.3969/j.issn.1001-0505.1996.05.001]
[5]金霞,许超,孙庆鸿.板材FMS基于RBOPN模型的死锁分析[J].东南大学学报(自然科学版),2007,37(3):420.[doi:10.3969/j.issn.1001-0505.2007.03.013]
 Jin Xia,Xu Chao,Sun Qinghong.Deadlock analysis based on RBOPN model in sheet metal FMS[J].Journal of Southeast University (Natural Science Edition),2007,37(2):420.[doi:10.3969/j.issn.1001-0505.2007.03.013]
[6]姜浩,毕诸明,朱岩.FMS运控软件的死锁问题及其检测方法[J].东南大学学报(自然科学版),1997,27(1):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(2):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]
[7]姜浩,毕诸明,朱岩.FMS运行控制系统的建模方法及测试机理[J].东南大学学报(自然科学版),1997,27(1):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(2):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]

备注/Memo

备注/Memo:
基金项目: 国家973资助项目(G1998030402)、国家自然科学基金重大研究计划资助项目(90204009).
作者简介: 高茜(1975—),女,博士生; 罗军舟(联系人),男,博士,教授,博士生导师, jluo@seu.edu.cn.
更新日期/Last Update: 2004-03-20