着色Petri网及其在系统建模与仿真中的应用

来源 :计算机工程 | 被引量 : 0次 | 上传用户:jackyz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在众多的系统建模方法和语言中,用着色Petri网(Colored petri Net,简写CPN)建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统.文章介绍了CPN的基本概念及建模特性,阐明了CPN的实用价值及应用发展前景,并对一个军事系统一一室对空导弹攻击系统进行CPN的图形形式的建模分析,并用Design/CPN进行仿真验证.
其他文献
众所周知,中国羽毛球队长期以来都是世界羽坛的传统强队,女子单打项目一直保持着较好的成绩,但随着羽毛球技战术的不断发展,国羽女单受到了威胁,世界女子单打的竞争格局发生了转变,近几年出现了“群雄割据”的局面。一方面,国外涌现出一批年轻优秀的选手,1995年出生的奥原希望和辛杜近几年成绩突出,打法特点具有代表性,她们将成为我国未来女单的主要竞争对手。另一方面,国羽女单内部新老交替,衔接不甚完美,成绩起伏
结合内蒙古某高速公路的建设情况,介绍采用安山岩集料在Superpave技术中的使用情况,结果表明Superpave沥青混合料级配可以适当穿过限制区,同时提出了避开限制区的设计方法及使用
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
目的观察ARGl基因对293T细胞的增殖、凋亡以及p-JNK、p-ERK表达量的影响,并探讨ARG1的抗砷作用。方法(1)重组质粒pcDNA-ARG1及空质粒抽提后采用PCR、EcoR1(?)(?)BamH1双酶切
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
1ERP(Enterprise Resource Planning,企业资源计划)ERP是指建立在信息技术基础上,利用现代企业的先进管理思想,全面地集成了企业的物流、资金流、信息流,为企业提供决策、计划
综合考虑了经济、环境等多种因素,对科学发展观下生态公路的设计特点、原则以及设计实现进行了探讨分析,以实例的形式简要地分析了生态公路设计的实现方法,以期为生态公路的