期刊文献+

Petri网共享子网合成及其在系统设计中的应用 被引量:1

Synthesis of Petri Nets Shared Subnet and its Application in System Design
下载PDF
导出
摘要 针对柔性制造系统的设计和分析,提出了经由 Petri 网共享子网构成合成网的解决方案;研究了 Petri 网共享子网合成的动态性质保持问题,给出了合成网保持活性、有界性的一组充分条件;对一个柔性制造系统进行了设计和分析。本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值。 A scheme is obtained using synthesis of Petri nets shared subnet, according to design and analysis of flexible manufacturing system. Dynamic property preservations of the synthesis net have been investigated. A group of sufficient conditions of liveness preservation, boundedness preservation are presented. A flexible manufacturing system has been designed and analyzed. These results are useful for studying the static and dynamic properties of Petri nets and analyzing properties for large complex system. The synthesis method is especially fit for flexible manufacturing system design and practical to use in reality.
作者 夏传良 徐进
出处 《计算机科学》 CSCD 北大核心 2006年第5期17-21,共5页 Computer Science
基金 国家自然科学基金(60073013) 国家重点基础研究发展规划(1998030416) 中国科学院管理 决策与信息系统开放实验室(MADIS)资助
关键词 PETRI网 合成 有界性 活性 系统设计 Petri nets, Synthesis, Boundedness, Liveness, System design
  • 相关文献

参考文献12

  • 1Bednarczyk M A,Bernardinello L,et al.Modular system development with pullbacks[J].In:Proc.the 24th International Conference on Application and Theory of Petri Nets.Eindhoven,The Netherlands,2003.140~160
  • 2Morin R.Decompositions of asynchronous systems[J].In:Proc.CONCUR'98,LNCS 1466,1998.549~564
  • 3Badouel E,Darondeau P H.The synthesis of Petri nets from path-automatic specifications.Information and Computation,2004,193:117~135
  • 4Juhás G,Lorenz R,et al.Synthesis of Controlled with Modules of Signal Nets.In:Proc.the 25th International Conference on Application and Theory of Petri Nets.Bologna,Italy,2004.238~257
  • 5Chao D Y.Petri net synthesis and synchronization using knitting technique.Journal of Information Science and Engineering,1999,15:543~568
  • 6Mkel M.Model checking safety properties in modular high-level nets[J].In:Proc.the 24th International Conference on Application and Theory of Petri Nets.Eindhoven,The Netherlands,2003.201~219
  • 7van Hee K,Sidorova N,et al.Soundness and separability of workflow nets in the stepwise refinement[J].In:Proc.the 24th International Conference on Application and Theory of Petri Nets.Eindhoven,The Netherlands,2003.337~356
  • 8Bernardinello L,Ferigato C,et al.Towards modular synthesis of EN systems[J].In:Caillaud B,et al.eds.Synthesis and Control of Discrete Event Systems,Kluwer Academic Publishers,2002.102~113
  • 9Souissi Y.On liveness preservation by composition of nets via a set of places[J].I:Rozenberg G.ed.LNCS 483,New York:Springer-Verlag,1990.457~470
  • 10Murata T.Petri nets:properties,analysis,and applications.Proc.IEEE,1989,77(4):541~580

同被引文献7

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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