机译：使用彩色Petri网集成任务网络和认知用户模型，并将其应用于作业设计以提高安全性和生产率
机译：用彩色Petri网建模的工程设计合作与推理活动的模式
机译：有色Petri Net模型在智能无线医疗设备网络的规划，设计和仿真中的使用，以实现安全灵活的医院容量管理
机译：使用有色Petri网辅助基于对象的系统的设计
机译：使用彩色Petri网自动进行Internet协议的安全性分析。
机译：彩色Petri网用于生物系统的多层次多尺度和多维建模
机译：基于软件故障树和有色Petri网的规范，基于代理的入侵检测系统的设计和实现
机译：用有色petri网建模环境系统。
