CPN; OPM; System-of-Systems; architecture; executable; simulation;
机译:在模型驱动的系统开发过程中,使用系统建模语言与有色Petri网相结合的可执行系统架构
机译:使用行为轨迹和Petri网构建块的柔性制造系统的建模和逻辑控制器规范
机译:基于有色Petri网的智能建筑集散控制系统建模。
机译:基于OPM和Color Petri网的系统架构的可执行系统:Fila-SOS中的一个构建块
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:非侵入性功能性脑成像与基于OPM的磁脑体系系统
机译:基于神经网络的彩色资源导向的Petri网中可重构制造系统的死锁控制和故障检测和处理
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用