【摘 要】
：
通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性.根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的
【基金项目】
：
国家自然科学基金(No.60874068)资助
论文部分内容阅读
通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性.根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明.采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.
其他文献
青浦实验教育集团所要促进的优质教育资源的均衡,绝不仅仅局限于实验中学与实验小学,它的立足点是整个青浦区的优质均衡。
<正> 韩愈、柳宗元、欧阳修、王安石、曾巩、苏洵、苏轼、苏辙在中国文学史上占有重要的地位,被尊称为唐宋八大家。"唐宋八大家"之称始于茅坤所编《唐宋八大家文钞》,唐宋八
为了消除定位过程中误差带来的影响,介绍了高精度GPS差分定位技术的基本原理、定位精度、系统类型和处理方式,在此基础上分别对位置差分、伪距差分、相位平滑伪距差分和载波
现代物流企业已成为经济发展的强劲增长点,是衡量一国现代化程度和综合国力的重要标志之一。从核心竞争力的内涵入手,通过分析与评价物流企业的核心竞争力,旨在帮助中小物流
目的:探讨品管圈活动对护士来回于护理站与病房的途中耗时的影响。方法:通过品管圈活动,在两个最短护理半径处设立二级护理站,配置二级护理站用具,改进病区工作流程,优化护理
通过对广西14家地级市的急救中心现状进行调查,对院前急救共同存在的问题进行分析,寻找应对方法,规范院前急救管理,提高院前急救质量,以满足群众日益增长的院前急救需求。
目的探讨慢性心力衰竭(Chronic heart failure,CHF)患者不同心功能状态时血清心型脂肪酸结合蛋白水平,并探讨其与血浆氨基末端B型利钠肽、肌钙蛋白Ⅰ变化的相关性。方法选取C
基于三维有限元数值模拟法,对超大型地下连续墙钢筋笼施工吊装过程进行动态数值模拟。以钢筋笼从水平到竖直的起吊过程中0°,30°,60°3种工况建立能够模拟动态
<正>支持单位:江苏近现代史学会、南京近现代史学会、江苏省社会科学研究院近代史研究所、南京师范大学抗日战争研究中心、南京民间抗日战争博物馆、南京1213志愿者联合会、
目的:了解福建省南平市第二医院(以下简称"我院")外科围术期质子泵抑制剂的使用情况,为临床合理使用质子泵抑制剂提供参考。方法:统计2014年7月我院外科出院的209例手术患者