首页> 外文OA文献 >Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets

【2h】

Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets

机译：Petri网中加强通用线性向量约束的监督者综合。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions [J] . Ran Ning, Wang Shouguang, Su Hongye, IMA Journal of Mathematical Control and Information . 2017,第2期

机译：监督员合成，用于对一类具有不可观察过渡的培养网执行线性约束
2. Synthesis of supervisors enforcing general linear constraints in Petri nets [J] . Iordache M.V., Antsaklis P.J. IEEE Transactions on Automatic Control . 2003,第11期

机译：加强Petri网中一般线性约束的监督者综合。
3. Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets [J] . Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on . 2010,第3期

机译：Petri网中强制通用互斥约束的结构简单主管的合成
4. Synthesis of supervisors enforcing general linear vector constraints in Petri nets [C] . Iordache, M.V., Antsaklis, . 2002

机译：在Petri网中强制通用线性向量约束的监督者综合
5. On computing a liveness enforcing supervisory policy for a class of general Petri nets [D] . Somnath, Nisha. 2015

机译：在计算一类通用Petri网的生命力实施监督策略时
6. Setting priors and enforcing constraints on matches for nonlinear registration of meshes [O] . Benoît Combès, Sylvain Prima -1

机译：为网格的非线性配准设置先验并在匹配上施加约束
7. Synthesis of supervisors enforcing general linear vector constraints in Petri nets [O] . Marian V. Iordache, Panos J. Antsaklis 2002

机译：在petri网中实施一般线性向量约束的监督者综合
8. Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints. [R] . Latvala, T. 2001

机译：具有公平约束的petri网线性时态逻辑性质模型检验。

Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅