【摘 要】
：
以Petri网的关联矩阵为基础,提出了求解Petri 网的S不变量和T不变量的算法.以关联矩阵为基础构造求解矩阵,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列
【机 构】
：
华中科技大学国家数控系统工程技术研究中心
【基金项目】
：
国家自然科学基金资助项目 ( 5 9775 0 89) ;武汉市晨光基金资助项目 ( 970 0 610 1)
论文部分内容阅读
以Petri网的关联矩阵为基础,提出了求解Petri 网的S不变量和T不变量的算法.以关联矩阵为基础构造求解矩阵,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零,并在变换后的矩阵中提取S不变量和T不变量.算法实现了在一个矩阵中通过初等线性变换就可以得到Petri网的S不变量和T不变量.
其他文献
近年来,重庆市开始探索"多规合一"和"多规融合",以此推动全市规划体系的改革。重庆市规划局和国土局两部门共同推进在"多规合一"背景下的村规划,目的是将村规划纳入到法定城
"跑竹马",又名跑马灯、走马、竹马子、变马、打布马等。富于浓郁的乡土味,活泼而健康,它是流行于我国广大汉族地区的民间舞蹈。过去多在年节时与其他舞蹈一起演出。
实现家庭信息化的重要方式就是智能家居,智能家居是我国信息化社会的重要组成,在智能家居发展的过程中必不可少的就是物联网,物联网在智能家居方面的应用具有较高的实践价值
目的了解深圳市南山区学生密切接触者、肺结核患者、羁押人员3种特殊人群对结核病相关知识的知晓程度,评估宣教效果,从而有针对性地开展结核病健康教育工作。方法对学生密切
<正>新闻事件:近日,宁波市职教中心学校将"女红"作为选修课程,要求女同学尽量选修,课程内容包含针线、裁剪、化妆、美容、刺绣等,学校的这一举动立即引来无数网友的关注。这
西装在商务白领中历来是标志性的符号,而一个成功人士的装束不仅仅在于他如何穿西装,更在于他如何打领带,因为细节决定成败。
要想更好的维护电力通信电源系统,首先必须对其失效的表现形式及其机理进行深入的分析,在此基础之上再结合先进的测试技术来预防并及早发现问题。本文首先对电力通信电源蓄电
<正>2001年9月1日开始的数学课程改革至今已经进入了第十一个年头。回望十年课改之路,从顶层设计到强力推行,一路势如破竹,而在一阵疾风暴雨之后,出现了理论界的论争,同时,不
智能设备的普及以及相关技术的日益发展,给高校学生的校园生活带来很多亮点,具有针对性以及开放性的校园生活应用软件逐渐在学生的日常生活中占据重要位置。本文针对校园社团
目的观察“骨痹汤”合熏蒸治疗机熏蒸治疗膝关节骨性关节炎的临床疗效。方法膝关节骨性关节炎患者100例，随机分为观察组和对照组两组，各50例。观察组给予“骨痹汤”加入熏蒸治