机译:使用SysML和定时彩色Petri网模型测试分布式控制系统中的通信任务
机译:基于扩展有色随机Petri网的协同工作流系统建模与性能分析
机译:基于有色Petri网的智能建筑集散控制系统建模。
机译:使用扩展有色网的广义分布式系统建模
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:用于预测复杂生化系统行为的广义酶动力学模型
机译:分布式可再生能源发电系统中用于能源管理的多主体系统的有色Petri网建模
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用