约束组合弧相关论文
Petri网是一种适合于描述异步并发现象的系统模型，但是在使用基本Petri网来为复杂系统建模时会出现“节点爆炸”问题，本文提出约束组......
分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进......
带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现"节点爆炸"问题。提出采用约束组合弧来克服该问题。约束组......
