机译:用于高效建模逻辑或的新型高级Petri网:彩色AND / OR Petri网(CARPN)
机译:彩色Petri网和地点/过渡网的等价方法
机译:物流网络建模与优化:一种基于(MAX,+)代数和彩色Petri网的方法
机译:从DB-Nets到彩色Petri网,优先事项
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:DB-Nets:关于有色petri网和关系数据库的结合