多范式建模相关论文
安全关键系统广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类系统具有高安全、资源受限、实时响应等特点。近年来,......
随着全国各地城镇建设的快速发展,灾害性突发事件频发。应急疏散作为降低灾难性损失的重要手段,其研究对于灾害风险评估、疏散管控......
Petri网是一种适合于描述异步并发现象的系统模型，但是在使用基本Petri网来为复杂系统建模时会出现“节点爆炸”问题，本文提出约束组......
Petri网是一种适合于描述异步并发现象的系统模型,是离散事件系统建模的一种强有力工具,但是在使用基本Petri网来为复杂系统建模时......
