位置：立项数据库 > 立项详情页
PETRI网的基本信标理论研究
  • 项目名称：PETRI网的基本信标理论研究
  • 项目类别：面上项目
  • 批准号：60773001
  • 申请代码：F0201
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2010-12-31
  • 项目负责人：李志武
  • 负责人职称：教授
  • 依托单位：西安电子科技大学
  • 批准年度：2007
中文摘要：

作为Petri网的一种结构概念, 信标在行为特性分析, 尤其是活性分析中起着至关重要的作用. 然而, 传统基于信标的死锁控制方法面临计算复杂性, 结构复杂性和行为许可性等问题. Petri网基本信标理论, 由项目负责人和美国新泽西理工学院周孟初教授首创. 在原有的研究成果上, 本项目深化基本信标理论的研究, 探索基本信标在更多Petri网子类及高级Petri网中的应用, 解决自动制造系统中活性控制器的计算复杂性, 结构复杂性及行为许可性的问题. 经过三年的研究, 课题组取得诸多成果, 出版专著2部, 发表(及录用)期刊及会议论文58篇. 主要成果包括: (1)在普通网中未知所有严格极小信标的前提下, 提出了基本信标求解的多项式复杂度算法; (2)一般网中基本信标和从属信标的控制方法, 从属信标可控性可由基本信标可控性确定, 避免显式地控制从属信标; (3)一般网中基于混合整数规划的基本信标求解方法; (4)推广基本信标理论思想, 将广义互斥约束分为基本与从属两类, 提出满足基本约束保证从属约束实现的条件; (5)提出了多种系统死锁控制策略.

中文主题词： Petri 网; 信标; 基本信标; 从属信标; 死锁控制
结论摘要：

英文主题词Petri net; siphon; elementary siphon; dependent siphon; deadlock control

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 51
  • 12
  • 0
  • 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
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
会议论文
An improved algorithm for supervisor design for FMS using the theory of regions
Computation of Strict Minimal Siphons in a Class of Petri Nets
Hybrid liveness-enforcing method for petri net models of flexible manufacturing systems
Deadlock prevention using divide-and-conquer strategy for WS3PR
Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems
On the existence of a maximally permissive liveness-enforcing Petri net supervisor for flexible manu
A deadlock prevention approach for a class of time petri nets based on SCG
An optimization approach towards improved petri net monitor design
Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and ass
A polynomial-complexity approach to decide the existence of a maximally permissive Petri net supervi
Supervisory controller optimization for deadlock resolution in automated manufacturing systems with
A deadlock prevention policy for FMS using elementary siphons of Petri nets with uncontrollable tran
获奖
制造系统的Petri网建模、控制和运行优化
基于Petri网的自动制造系统死锁分析与控制研究
基于Petri网的自动制造系统死锁分析与控制研究
制造系统的Petri网建模、控制和运行优化
基于Petri网的自动制造系统死锁分析与控制研究
基于Petri网的自动制造系统死锁分析与控制研究
著作
自动制造系统的建模、分析与死锁控制
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
相关项目
面向网格服务的开放式移动计算模型、理论及方法研究
期刊论文 13 会议论文 5
跨组织协同工作流挖掘的Petri网融合机理与保性控制技术研究
期刊论文 32 会议论文 15 获奖 22
自动制造系统死锁控制性能分析与优化
期刊论文 36 会议论文 10 著作 2
基于广域网的新一代电力远动系统关键问题的研究
期刊论文 29 会议论文 8
离散事件系统的监督控制重构及其优化方法的研究
期刊论文 14 会议论文 7 专利 1
基于资源约束Petri网的过程建模与集成方法
期刊论文 6 获奖 1
基于PETRI网基本信标的自动制造系统死锁控制研究
期刊论文 34 会议论文 23 著作 1
基于Petri网的柔性制造系统高效的死锁预防控制策略的研究
期刊论文 26 会议论文 8
Petri网的活性判定问题
期刊论文 19
李志武的项目
　资源故障自动制造系统鲁棒死锁控制研究
期刊论文 4
基于结构分析的自动制造系统优化活性Petri网控制器设计
期刊论文 1
自动制造系统死锁控制性能分析与优化
期刊论文 36 会议论文 10 著作 2
基于PETRI网基本信标的自动制造系统死锁控制研究
期刊论文 34 会议论文 23 著作 1
复杂柔性制造系统系统控制软件自动设计理论研究
期刊论文 1