机译:彩色Petri网在UCM符号中验证情景控制结构的应用
Ershov Institute of Informatics Systems Siberian Branch Russian Academy of Sciences;
Ershov Institute of Informatics Systems Siberian Branch Russian Academy of Sciences;
Ershov Institute of Informatics Systems Siberian Branch Russian Academy of Sciences;
verification; translation; UCM; colored Petri nets; SPIN; protected component; error handling;
机译:彩色Petri网在UCM符号中验证情景控制结构的应用
机译:有色Petri网的基于场景的系统设计:训练控制系统的应用
机译:基于场景的彩色Petri网基于卫星的列车控制系统的建模
机译:使用彩色Petri网的时间关键应用的模型和验证
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:对分解色的控制限制:使用彩色Petri网对离散事件进行系统监督控制的建议:对分解色的控制限制:使用有色Petri网对离散事件系统进行监督控制的方法
机译:有色petri网:它们的性质和应用。