无冲突Petri网系统活标识判定的结构化方法

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘要：为了有效求解无冲突Petri网系统活标识的判定及配置优化问题，提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支；然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合；最终得到无冲突Petri网系统的无前置库所索引集合，基于该库所元素集合即可实现对活标识的快速判定及配置优化。（剩余7308字）

试读结束

目录
monitor