%0 Journal Article %1 citeulike:441831 %A Chao, D. Y. %D 2005 %J Systems, Man and Cybernetics, Part B, IEEE Transactions on %K citeulike deadlock, nets, petri %N 6 %P 1203--1213 %T Reachability of nonsynchronized choice Petri nets and its applications %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1542266 %V 35 %X 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.

@article{citeulike:441831, abstract = {{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.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Chao, D. Y.}, biburl = {https://www.bibsonomy.org/bibtex/29a74c94c92e0e0b16d6e6bd9a2989059/fernand0}, citeulike-article-id = {441831}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1542266}, interhash = {df52901024ef5c625aa97c3e0b262d91}, intrahash = {9a74c94c92e0e0b16d6e6bd9a2989059}, journal = {Systems, Man and Cybernetics, Part B, IEEE Transactions on}, keywords = {citeulike deadlock, nets, petri}, number = 6, pages = {1203--1213}, posted-at = {2005-12-19 16:09:32}, priority = {0}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Reachability of nonsynchronized choice Petri nets and its applications}}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1542266}, volume = 35, year = 2005 }