Chao Daniel Y
Department of Management and Information Science, National Cheng Chi University, Taipei, Taiwan.
IEEE Trans Syst Man Cybern B Cybern. 2005 Dec;35(6):1203-13. doi: 10.1109/tsmcb.2005.850171.
A new local structure called a second-order structure was proposed to generate a new class of nets called synchronized choice nets (SNC). SNC covers well-behaved free choice nets. Reachability is no longer P-Space hard problem, but can be solved with polynomial time complexity. How to extend them to non-SNC and its application to deadlock detection in flexible manufacturing systems are discussed.
提出了一种名为二阶结构的新局部结构，以生成一类名为同步选择网（SNC）的新网。SNC涵盖了行为良好的自由选择网。可达性不再是P空间难问题，而是可以用多项式时间复杂度求解。讨论了如何将它们扩展到非SNC及其在柔性制造系统死锁检测中的应用。
