期刊文献+

基于Petri网模型的典型技术及其应用 被引量:2

Typical Techniques & Their Applications Based on Petri Net Model
下载PDF
导出
摘要 Petri网是一种应用非常广泛的建模工具。本文简要介绍了Petri网的基本原理、分类和结构特点,并在此基础上,对Petri网技术的典型应用范围作了探讨。 Petri Net is a modelling tool which is widely used. In this article, we briefly introduced the basic theory of Petri Net, its classification and structure characters as well. After that, we made a discuss about the applications of Petri Net technology.
作者 郭壮辉 胡柯
出处 《系统仿真技术》 2006年第2期102-107,共6页 System Simulation Technology
基金 国家自然基金重点项目(70531020) 国家发改委CNGI计划子项目(CNGI-04-15-5A-2)资助
关键词 PETRI网 行为特性 应用领域 Petri net behavior characteristic application fields
  • 相关文献

参考文献6

  • 1[2]G.Berthelot,R.Terrat.Petri nets theory for the correcting of protocol[J].IEEE Trans on Communications,Vol.30,No.12,1982.
  • 2[3]P.Merlin,D.J.Faber.Recoverablility of Communication protocols[J].IEEE Trans.On Commum,Vol.24,No.9,1976.
  • 3[4]K.Voss.Using predicate/transition nets to model and analysis distributed database systems[J].IEEE Trans.Soft.Eng.,6(6):539-544,1980.
  • 4[5]B.H.Krogh.Controlled Petri nets and maximally permissive feedback logic[C].Proc.25th Annual Allerton Conf.,University.of Illinois,Urbana,pp.317-326,1987.
  • 5[6]R.Zurawski.Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions[J].IEEE Trans.Ind.Electron,44(3):307-320,1997.
  • 6[8]Y.Y.Du,C.J.Jiang.Formal Representation and Analysis of Batch Stocks Trading Systems Through Logical Petri Net Workflows,Lecture Notes in Computer Science,2002,10.

同被引文献4

引证文献2

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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