位置：成果数据库 > 期刊 > 期刊详情页
Optimization algorithm of a liveness-enforcing supervisor for flexible manufacturing systems
  • ISSN号：1006-5911
  • 期刊名称：Jisuanji Jicheng Zhizao Xitong/Computer Integrated
  • 时间：0
  • 页码：663-671
  • 语言：英文
  • 相关项目：PETRI网的基本信标理论研究
作者： Chen, Nan|Guo, Jinwei|Wang, Guofeng|
同期刊论文项目
PETRI网的基本信标理论研究
期刊论文 51 会议论文 12 获奖 6 著作 2
同项目期刊论文
On controllability of dependent siphons for deadlock prevention in generalized Petri nets
Control of elementary and dependent siphons in Petri nets and their application
A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing s
On siphon computation for deadlock control in a class of Petri nets
Effective algorithm for obtaining a set of elementary siphons
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently
Design of liveness-enforcing supervisors via transforming plant Petri net models of FMS
A deadlock prevention approach for a class of timed Petri nets using elementary siphons
Algebraic synthesis of timed supervisor for automated manufacturing systems using petri nets
Liveness of an extended S3PR
Liveness enforcing supervision in video streaming systems using siphons
Deadlock prevention approach for a class of timed Petri nets
Modeling and scheduling for manufacturing grid workflows using timed Petri nets
On the colored Petri net model of the C3I system of the double aircraft carriers group
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial
Suboptimal deadlock control policy for flexible manufacturing systems
Computation of marking/transition separation instances for safe Petri nets using BDD
Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in p
Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using ti
Self-liveness of a class of Petri net models for flexible manufacturing systems
Identification of Controllable Transitions to decide the existence of an Optimal Liveness enforcing
Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufa
On Applicability of Deadlock Prevention Policies with Uncontrollable and Unobservable Transitions
A General MIP-based Liveness Test for S4R Nets
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams
On the minimal siphons and deadlock prevention in the Petri net model of the dining philosopher’s pr
Structure Reduction of Liveness-enforcing Petri Nets Using Mixed Integer Programming
应用必需信标的Petri网死锁预防策略
Resource-oriented Petri net for deadlock avoidance in flexible assembly systems
Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources
Liveness enforcing supervision of video streaming systems using nonsequential petri nets
Comments on "An iterative synthesis approach to Petri net based deadlock prevention policy for flexi
Clarification on the computation of liveness-enforcing supervisor for resource allocation systems wi
An effective algorithm to find elementary siphons in a class of petri nets
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeratio
Non-blocking supervisory design using mixed integer programming
On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
New controllability condition for siphons in a class of generalized Petri nets
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
基本信标计算的一种快速算法
基于混合整数规划的非阻塞监督控制器设计
柔性制造系统一种次优化的死锁控制设计
柔性制造系统活性监督控制器设计的算法优化
安全Petri网事件分离状态的BDD算法
利用基本信标的时延Petri网的死锁预防策略
AN EXTRACTION ALGORITHM FOR A SET OF ELEMENTARY SIPHONS BASED ON MIXED-INTEGER PROGRAMMING
期刊信息
  • 《计算机集成制造系统》
  • 北大核心期刊（2011版）
  • 主管单位:中国兵器工业集团公司
  • 主办单位:中国兵器工业第210研究所
  • 主编：杨海成
  • 地址：北京市海淀区车道沟10号北京2413信箱34分箱
  • 邮编：100089
  • 邮箱：986127464@qq.com
  • 电话：010-68962468
  • 国际标准刊号：ISSN：1006-5911
  • 国内统一刊号：ISSN：11-5946/TP
  • 邮发代号:82-289
  • 获奖情况:
  • 全国中文核心期刊,中国科技论文统计与分析文献来源期刊,中国科学引文数据库来源期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:25379