Petri网不可达标识的判定方法研究及其在死锁检测中的应用

著录项

• 来源
  《计算机集成制造系统》 |2016年第2期|465-475|共11页
• 作者

  鲁法明; 曾庆田; 段华; 彭延军; 包云霞;

  展开▼
• 作者单位

  山东科技大学信息科学与工程学院;

  山东青岛 266590;

  同济大学嵌入式系统与服务计算教育部重点实验室;

  上海200092;

  山东科技大学电子通信与物理学院;

  山东 青岛 266590;

  山东科技大学数学与系统科学学院;

  山东 青岛 266590;

  山东科技大学信息科学与工程学院;

  山东青岛 266590;

  山东科技大学数学与系统科学学院;

  山东 青岛 266590;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  Petri网; 可达性分析; 不可达标识分类; 死锁检测;