论文部分内容阅读
先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.
Petri网连接过程中的行为关系
【摘 要】
：
先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同
【机 构】
：
同济大学电子与信息工程学院,上海,200092合肥工业大学计算机与信息学院,合肥,230063;山东矿业学院计算模型与算法研究所,泰安,271019;香港城市大学资讯系统学系,香港九龙塘;
【出 处】
：
自动化学报
【发表日期】
：
2000年1期
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
目的了解近年来潍坊市生活饮用水水质卫生状况,为加强生活饮用水安全管理提供依据。方法按照GB/T5 7 5 0-2 0 0 6《生活饮用水标准检验方法》采集不同供水点生活饮用水进行检
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
为了获得薄煤层泵送矸石充填材料的最优配合比,通过一系列单轴抗压强度试验,比较分析不同基准配合比条件下水泥和CaO的掺量对充填体强度的影响。工程实践表明,C1661充填工作
该项目由办公楼改造而成,在无法利用原有建筑空调系统、使用空间十分紧张及制冷设备机房面积十分有限的情况下,采用水冷加自然冷却双冷源机房专用空调,在保证数据机房“安全
●不要在强烈日照下洗车如果休息日碰到晴天,很多私车主会认为这是洗车的好时机.但有一点要注意,若是在中午阳光最强时洗车,水滴所形成的凸透镜效果会使车漆的最上层产生局部
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥