期刊文献+

楼宇门禁系统基于petri网的分析和设计

Analysis and Design of an entrance guard system based on Petri-net
下载PDF
导出
摘要 Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。 The superiority of the petri-net is obvious, such as synchronization、concurrency and conflicts. It is suitable to model those complex information systems. But designers often have trouble synthesizing in some sub-systems. This article tells a method to synthesize the shared P-type subnet.An entrance guard system is used for illustration. In this case, some cases of this system are analyzed and modeled with Petri-net. According to features of subnets, we synthesized them to an integer system with the shared ...
出处 《科技信息》 2008年第24期420-421,共2页 Science & Technology Information
关键词 Petri-网 共享P-型子网 合成 Petri-net shared P-type subnet synthesis
  • 相关文献

参考文献8

二级参考文献109

  • 1夏传良,陆维明.论Petri网链路合成[J].系统工程理论与实践,2005,25(6):19-26. 被引量:6
  • 2夏传良.一种Petri网合成方法及其在系统建模中的应用[J].系统仿真学报,2006,18(2):271-277. 被引量:7
  • 3蒋昌俊,郑应平,疏松桂.非确定并发系统设计的Petri网形式化方法[J].系统仿真学报,1996,8(4):37-46. 被引量:1
  • 4桂志波,郑应平.一类扩展Petri网的建模与仿真分析[J].系统仿真学报,1996,8(2):54-62. 被引量:8
  • 5MORIN R.Decompositions of Asynchronous Systems [C]//In Proc.CONCUR'98,LNCS 1466,549-564,Springer,1998.
  • 6MARKO Makela.Model Checking Safety Properties in Modular High-level Nets [C]//Science (S0302-9743),In:Proc the 24th International Conference on Application and Theory of Petri Nets.Eindhoven,The Netherlands,2003,201-219.
  • 7KEES VAN HEE,NATALIA SIDOROVA,et al.Soundness and Separability of Workflow Nets in the Stepwise Refinement [C]//Science (S0302-9743),In:Proc the 24th International Conference on Application and Theory of Petri Nets.Eindhoven,The Netherlands,2003,337-356.
  • 8BERANRDINELLO L.Synthesis of Net Systems [J].Proc.Application and Theory of Petri nets,LNCS 691,89-105,Springer- Verlag,1993.
  • 9BERANRDINELLO L,FERIGATO C,et al.Towards Modular Synthesis of EN Systems [J].In B.Caillaud et al.(eds.) Synthesis and Control of Discrete Event Systems,103-113,Kluwer Academic Publishers,2002.
  • 10SOUISSI Y.On Liveness Preservation by Composition of Nets via a Set of Places [J].In:Rozenberg G,ed.LNCS 483,New York:Springer-Verlag,1990,457-470.

共引文献27

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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