%0 Conference Paper %1 LiuJiangZhou11 %A Liu, GuanJun %A Jiang, ChangJun %A Zhou, MengChu %D 2011 %K allocation, citas, citeulike control, nets, petri, resource, siphons, supervisory %P 359--364 %R 10.1109/icnsc.2011.5874938 %T Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets %U http://dx.doi.org/10.1109/icnsc.2011.5874938 %X Li and Zhou propose an important concept for Petri nets: elementary siphons. They partition siphons into elementary and dependent ones. The controllability of the latter can be ensured by the former's proper control. They give a sufficient condition to decide whether a dependent siphon is controlled by its elementary ones in S 3 PR. However, this condition is so loose that in many cases the controllability of a dependent SMS cannot be determined although it is actually controlled. In this paper, we propose an improved condition to decide the controllability of strongly dependent SMS.

@inproceedings{LiuJiangZhou11, abstract = {{Li and Zhou propose an important concept for Petri nets: elementary siphons. They partition siphons into elementary and dependent ones. The controllability of the latter can be ensured by the former's proper control. They give a sufficient condition to decide whether a dependent siphon is controlled by its elementary ones in S 3 PR. However, this condition is so loose that in many cases the controllability of a dependent SMS cannot be determined although it is actually controlled. In this paper, we propose an improved condition to decide the controllability of strongly dependent SMS.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Liu, GuanJun and Jiang, ChangJun and Zhou, MengChu}, biburl = {https://www.bibsonomy.org/bibtex/26c23555fab7bf473a62c8abb93deafae/fernand0}, citeulike-article-id = {9444100}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/icnsc.2011.5874938}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5874938}, doi = {10.1109/icnsc.2011.5874938}, interhash = {ac843aff803ff50f71d78ee005387577}, intrahash = {6c23555fab7bf473a62c8abb93deafae}, keywords = {allocation, citas, citeulike control, nets, petri, resource, siphons, supervisory}, location = {Delft, Netherlands}, month = apr, pages = {359--364}, posted-at = {2011-06-21 11:46:58}, priority = {2}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets}}, url = {http://dx.doi.org/10.1109/icnsc.2011.5874938}, year = 2011 }