机译:加强Petri网中一般线性约束的监督者综合。
Petri nets; constraint theory; control system synthesis; matrix algebra; Parikh vector terms; Petri nets; arbitrarily connected control places; firing vector terms; general linear constraints; least restrictive method; linear marking inequalities; marking terms; pla;
机译:监督员合成,用于对一类具有不可观察过渡的培养网执行线性约束
机译:Petri网中强制通用互斥约束的结构简单主管的合成
机译:在Petri网上强制执行一类广义互斥约束的主管综合
机译:在Petri网中强制通用线性向量约束的监督者综合
机译:在计算一类通用Petri网的生命力实施监督策略时
机译:为网格的非线性配准设置先验并在匹配上施加约束
机译:Petri网中加强通用线性向量约束的监督者综合。
机译:具有公平约束的petri网线性时态逻辑性质模型检验。