【摘 要】
：
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和
【基金项目】
：
山东省优秀中青年科学家科研奖励基金;国家自然科学基金
论文部分内容阅读
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语言的同步混排运算的作用和意义,在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法.
其他文献
对于旋转机械而言,保持稳定、安全、可靠的运行,规避事故风险,是企业正常运营的安全保障。为了满足实际工作的需要,研制成基于LabVIEW的旋转机械,通过建立在线监测系统,完成在线分析及数据的多通道远程传输,同时它还具有显示功能及离线分析功能。
针对传统油耗仪的缺陷,利用虚拟仪器技术设计了一种发动机油耗测试系统.该系统是在原有发动机性能检测系统基础上扩充的一种智能化瞬态油耗仪系统,由重量传感器、油箱、充油
为了能够提高煤矿井下瓦斯远程监控的可靠性和准确性,深入地研究了计算机远程联网系统在其中的应用。首先,分别分析了煤矿井下瓦斯远程联网监控系统的基本要求和基本功能;接
1976年RadoVan首先研制出皮肤软组织扩张器并将其应用临床以来,取得了良好的效果,推动了整形外科的发展.20多年来,随着皮肤软组织扩张器生产工艺的不断进步,目前由皮肤软组织
LiDAR点云包含丰富的高程信息,而高分辨率航空影像则富含光谱信息.在分析两类数据特征优势的基础上,以模糊集为融合方法的理论基础,研究了一种结合LiDAR点云和高分辨率影像的
研究了不同铈和铬的加入量对纯铜的导电率、强度、硬度、耐磨性及显微组织的影响.研究发现,在纯铜中加入适量和铬可以在不影响纯铜的良好导电性的同时,提高其强度、硬度,并可
对异形柱结构设计中容易出现的几个问题进行了分析总结,可供结构设计人员参考.
目的:探讨输尿管内留置双J输尿管支架管治疗肾积水的效果,分析无效的原因。方法:选择2005年-2011年期间,因各种原因致输尿管梗阻引起肾积水,顺行或逆行留置双J输尿管支架管治
随着光通信的飞速发展,Si基SiO2平面光波导集成器件的应用更加重要和广泛。在Si基上制备高质量的厚SiO2 薄膜,是制作SiO2光波导及其集成器件的基础。本文介绍了Si基厚SiO2薄
通过离心试验、数值模拟相结合的方法对抗突涌安全系数与某地铁车站基坑变形之间的关系进行了研究.研究结果表明,不应用单一的抗突涌安全系数控制不同开挖深度承压水基坑的降