机译:带地板操作员的通用互斥约束的Petri网控制器
机译:析取广义互斥约束的最优Petri网控制器设计
机译:具有广义互斥约束的部分观察到的培养网的在线故障诊断设计
机译:析取广义互斥约束的Petri网控制器
机译:具有扩展对象模型和广义随机Petri网的网络模拟器设计。
机译:通过水平匹配的遗传信号扩增设计和构建通用的RNA-蛋白质杂交控制器
机译:利用着色petri网和具有对称性的出现图的Lamport快速互斥算法的计算机辅助验证
机译:Kronecker算子在广义随机petri网解的应用