并发变迁相关论文
文中针对EPr/TN网在可达性分析时出现的冗余并发后继现象,从产生原因入手,给出一种解决算法.并由此深入研究这种扩展Petri网固有的不完备性,最后提......
着重于车间控制器的开放性提出了车间控制器平台的体系结构。车间控制器平台的核心是运控Petri网。该文给出了运控Petri网的定义。和一般的Petri网......