【摘 要】
：
Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结
【基金项目】
：
国家自然科学基金，山东省优秀中青年科学家科研奖励基金
论文部分内容阅读
Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输入库所和输出库所的数目均小于等于1,并分析了这些子网系统的语言特性.利用Petri网语言同步交运算,给出了一种求取结构复杂Petri网的语言表达式的方法,从而为利用网语言分析系统的行为提供了理论依据和方法.
其他文献
分析了煤矿机电设备在管理方面所存在的问题,并提出相关的管理与维修对策。只有对煤矿机电设备进行有效的管理,才能保证生产的顺利进行,从而促进煤矿企业稳定发展。
从热力学基本定律出发,用微分的方法系统地推导了麦克斯韦关系并讨论了它在实际中的一些主要应用,从中归纳出用热力学方法研究现象的一般思路,理解这一过程对热力学的学习是
目的:了解患者对于预约就医的认知情况,发现目前存在的问题,提出针对性建议及对策。方法:采用自行设计问卷,对河南省某三级甲等医院300名就诊患者进行不记名问卷调查。内容涉
针对基于语言判断矩阵的群决策逆判问题, 通过对语言判断矩阵进行'量化', 将其转化成为互反判断矩阵, 进而提出了一种依据数理统计理论的分析方法. 该方法通过引进随