首页> 外文OA文献 >Verification of Bounded Petri Nets Using Integer Programming

【2h】

Verification of Bounded Petri Nets Using Integer Programming

机译：使用整数编程验证有界Petri网

页面导航

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

著录项

作者
Victor Khomenko; Maciej Koutny;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Verification of bounded Petri nets using integer programming [J] . Victor Khomenko, Maciej Koutny Formal Methods in System Design . 2007,第2期

机译：使用整数编程验证有界Petri网
2. On-line verification of initial-state opacity by Petri nets and integer linear programming [J] . Cong Xuya, Fanti Maira Pia, Mangini Agostino Marcello, ISA Transactions . 2019,第期

机译：Petri网和整数线性规划的初始状态不透明度的在线验证
3. On-line verification of current-state opacity by Petri nets and integer linear programming [J] . Cong Xuya, Fanti Maria Pia, Mangini Agostino Marcello, Automatica . 2018,第期

机译：Petri网和整数线性规划的在线验证电流状态不透明度
4. Non-interference assessment in bounded Petri nets via Integer Linear Programming [C] . F. Basile, G. De Tommasi 2018 Annual American Control Conference . 2018

机译：通过整数线性规划在有界Petri网中进行无干扰评估
5. A Geometric Approach to Integer Optimization and Its Application for Reachability Analysis in Petri Nets. [D] . Gu, Shenshen. 2009

机译：整数优化的几何方法及其在Petri网可达性分析中的应用。
6. A novel method for inference of acyclic chemical compounds with bounded branch-height based on artificial neural networks and integer programming [O] . Naveed Ahmed Azam, Jianshen Zhu, Yanming Sun, 2021

机译：基于人工神经网络和整数规划的有界分支高度的无循环化学化合物推断的新方法
7. An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming [O] . Grastien, Alban 2012

机译：一个例子说明了有效方法的不精确性通过整数线性规划诊断petri网
8. Verification of Bounded Petri Nets Using Integer Programming [R] . Khomenko, V., Koutny, M. 2001

机译：用整数规划验证有界petri网

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号