Unified modeling language; Petri nets; Embedded systems; Tools; Image color analysis; Roads; Semantics;
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:在模型驱动的系统开发过程中,使用系统建模语言与有色Petri网相结合的可执行系统架构
机译:基于Petri网表示的嵌入式系统建模和形式验证
机译:一种模型驱动的定时着色Petri网形式的嵌入式系统形式验证方法
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:使用定时弧petri网的实时多agent系统的形式化规范和验证