位置：成果数据库 > 期刊 > 期刊详情页
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams
  • 期刊名称：ACM Transactions on Embedded Computing Systems, Sp
  • 时间：0
  • 页码：125-126
  • 语言：英文
  • 相关项目：PETRI网的基本信标理论研究
作者： Chen Yufeng |Liu Gaiyun |
同期刊论文项目
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
Optimization algorithm of a liveness-enforcing supervisor for flexible manufacturing systems
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
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