张瑶瑶;严钢峰;张森林;刘美琴 Petri网中具有不可控转换的监督执行Parikh约束的综合。 (中文。英文摘要) Zbl 1104.93039号 浙江大学工程科学专业。 40,第7期,1123-1126(2006). 摘要:对基于Petri网的具有不可控转换的离散事件系统的Parikh向量约束监督控制进行了详细分析。约束分为可控部分和不可控部分,可称为允许约束和禁止约束。提出了矩阵变换方法,将禁止约束转化为允许约束,从而得到控制器。通过实例证明,本文给出的方法结构清晰,计算简洁,应用于复杂Petri网中的约束时,将大大简化控制器综合。 理学硕士: 93C55美元 离散时间控制/观测系统 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:Parikh矢量;离散事件系统;不可控跃迁;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,浙江大学工程科学学院。40,第7号,1123--1126(2006;Zbl 1104.93039)