【摘 要】
:
Petri网是一种形式化的建模方法,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中的不足和优势,在原有Petri网的基础上提出一
论文部分内容阅读
Petri网是一种形式化的建模方法,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中的不足和优势,在原有Petri网的基础上提出一种增广Petri网。即带抑止弧和使能弧的着色Petri网,这种新型的Petri网具有很强的模拟描述能力,同时可以对具有优先权性质的系统进行建模,因此对该新型扩展Petri网的研究具有十分重要的意义。
其他文献
毛泽东激情、豪迈的非凡气质,与李白浪漫、豪放的健朗风格,飞越了时空的樊篱,遥响共鸣。因此,毛泽东对李白的诗十分喜爱,所读甚丰,圈阅、评点亦多。从中既肯定了李白诗歌创作
肺炎克雷伯菌(Klebsiella pneumoniae)是院内感染最重要的多重耐药条件致病菌之一。11个不同来源的肺炎克雷伯菌基因组已被全测序,包括耐碳青霉烯类抗生素的、属于ST11型中国流
思想政治是高中阶段的重要课程,对培养学生正确的人生观、价值观和世界观有着举足轻重的作用。因此,我们要想方设法提高思想政治课堂教学效率。其中,培养学生问题意识十分重
目的 :正确认识不同科属木通及其异同 ,指导临床安全高效用药。方法 :不同科属木通本草学、地理分布范围和生态环境、临床、药理、毒理等方面的比较。结果 :①木通主要来源于
分析了中外品牌的命名原则、命名的不同特色以及翻译的基本原则,归纳了翻译中常见问题,从实用角度讨论了品牌名称的翻译策略,同时基于对品牌名称翻译现状的分析,目的在于促使
<正>社会对人才的需求逐渐趋于多样化,很多学校都开设了各类培养特长生的"特长班"。特长生在学习过程中既要突破专业课瓶颈,又要学习文化课知识,因此,往往不能很好地兼顾专业
本文在Nerlove模型的基础上,结合中国种植制度、种植区域等特征,详细讨论了变量和模型的具体设定,利用2005~2007年农户微观数据,分析了水稻、小麦、玉米、大豆四种主要粮食作
目的分析血液细胞形态学检查在血液常规检测中的应用。方法选择30例全自动血液分析仪检测结果为异常的30例血液标本资料,将其设定为观察组。选择30例正常的血液标本作为对照
本文详细介绍了硅灰石矿物的主要性能,并结合其特性概述了硅灰石矿物在陶瓷工业中的应用。