机译:有色Petri网中的异构嵌入式系统建模。
机译:有色Petri网中的异构嵌入式系统建模。
机译:一种改进的有色Petri网模型,用于异构嵌入式系统中的软件组件分配
机译:用于多级,多尺度和生物系统多维建模的彩色培养网
机译:使用彩色Petri网的异构嵌入式系统软件组件分配
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:基于系统行为的嵌入式系统异构层次彩色Petri网软件/硬件体系结构视图
机译:用有色petri网建模环境系统。