机译:集成集成定义语言0(IDEF)和有色Petri网(CPN)建模和仿真工具:模具制造过程的研究
机译:基于P-Time Petri网和突尼斯铁路网络纪念识别的分布式监测
机译:用彩色Petri网模拟超标量处理器的WCET分析
机译:有色Petri网的分布式交易处理系统建模与仿真框架。
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:BioNetSim:基于Petri网的建模工具用于模拟生化过程
机译:分布式架构的二次冷却系统建模,使用彩色培养网
机译:用有色petri网建模环境系统。