Deadlock-freeness; Petri nets; automated manufacturing systems; robustness;
机译:使用Petri网的自动化生产系统主管综合与性能改进。
机译:使用Petri网的自动化制造系统定时主管的代数综合。
机译:基于Siphon的严格最小的Siphon彩色Petri网络主管综合,具有不可靠的资源的自动化制造系统
机译:使用Petri网的自动制造系统的强大主管合成
机译:使用广义随机Petri网的自动化制造系统的性能评估。
机译:基于PetriNet的支持网络物理制造系统中可追溯性的方法
机译:基于Siphon的严格最小的Siphon彩色Petri网络主管综合,具有不可靠的资源的自动化制造系统
机译:计算科学:膜系统和petri网综合。