期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于复杂工作系统性能分析的Petri网建模

Petri net modeling for performance analysis based on complex system
下载PDF
导出
摘要 Petri网是研究离散事件动态系统的有效工具,它通过对实际问题构造Petri网,揭示出系统的动态特性。本文以某质量检测机构为研究对象,进行Petri网建模,分析系统在资源分配,运行方式等方面性能,并对系统的时间性能作出整体评估。 Petri net is a powerful instrument on the research of scatter events in the dynamic system.Dynamics of the system can be achieved through constructing Petri net in practice event. In thispaper, the Petri net modeling was constructed based on quality test, then the character of system inresource distributing and running manner were analyzed, resulting in the whole evaluation of the timecharacter of the system.
作者 陈珺 张志胜
机构地区 东南大学机械工程系
出处 《制造业自动化》 2004年第3期8-11,共4页 Manufacturing Automation
关键词 PETRI网 建模 复杂工作系统 性能分析 质量检测机构 资源分配 运行方式 Petri net modeling
分类号 F273.2 [经济管理—企业管理] TP183 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献5

二级参考文献18

  • 1[1]W M P van der Aalst.The application of Petri nets to workflow management [J].Journal of Circuits,Systems,and Computers,1998,8(1):21-66.
  • 2[2]W M P van der Aalst.Chapter 10;Three Good reasons for Using a Petri-net-based Workflow Management System.In T.WaKaYaMa et al.,editor,Information and Process Integration in Enterprises;Rethinking documents [M].The Kluwer International Series in Engineering and Computer Science,Kluwer Academic Publishers,Norwell,1998:161-182.
  • 3[3]C A Ellis,K Keddara,G Rozenberg.Dynamic change within workflow systems [J].In N.Comstock and C.Ellis,editors,Conf.on Organizational Computing Systems,ACM,SIGOIS,Milpitas,CA(1995):10-21.
  • 4[4]W M P van der Aalst.Verification of workflow tast structures [A].Information Systems,2000,25(1):43-69.
  • 5[5]Zaidi A K.On temporal logic programming using Petri nets [J].IEEE Transactions on Systems,Man and Cybernetics,May 1999,29(3):245-254.
  • 6[6]Yao Y.A Petri net model for temporal knowledge representation and reasoning [J].IEEE Trans.Systems,Man,and Cybernetics,1994,24(9):1374-1382.
  • 7[7]Lin C,Chanson S T.Logical inference of clauses based on Petri net models [J].International Journal of Intelligent Systems,John Wiley & Sons,August 1998,13:821-840.
  • 8[8]Lin C,Chaudhury A,Whinston A B,Marinescu D C.Logical inference of Horn clauses in Petri net models [J].IEEE Trans.on Knowledge and Data Engineering,June 1993,5(4):416-425.
  • 9STEPHEN T C W. Coping with conflict in cooperative knowledgebased systems[J]. IEEE transactions on systems, man and Cybernetics-part A: System and Humans, 1997, 27(1): 57-- 72.
  • 10袁崇义.Petri网原理[M].北京：电子工业出版社,1997..

共引文献74

制造业自动化
2004年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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