机译:使用彩色Petri网的柔性生产系统的物料流和控制顺序规范
机译:一种改进的有色Petri网模型,用于异构嵌入式系统中的软件组件分配
机译:有色Petri网中的异构嵌入式系统建模。
机译:通过概率建模分析嵌入式系统的软件性能和能耗:一种基于有色Petri网的方法
机译:使用彩色Petri网和Java进行密码协议规范和分析。
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:定时弧Petri网1的MPEG-2视频编码器的规格分析1这项工作得到了CICYT项目“分布式系统的性能评估” TIC2000-0701-C02-02的支持。