%0 Journal Article %1 LiWei07 %A Li, Zhiwu %A Wei, Na %D 2007 %I Springer London %J The International Journal of Advanced Manufacturing Technology %K cerrojos, citas, citeulike control, deadlock, flexible, fms, manufacturing, siphons, systems %N 1 %P 24--35 %R 10.1007/s00170-006-0452-3 %T Deadlock control of flexible manufacturing systems via invariant–controlled elementary siphons of petri nets %U http://dx.doi.org/10.1007/s00170-006-0452-3 %V 33 %X Effective resolution for deadlock problems plays an important role in the operation of automated flexible manufacturing systems (FMS). Based on P-invariants and elementary siphons of Petri nets, a deadlock prevention policy is developed for a special class of Petri nets that can well model many FMS. Siphons in a plant net model are divided into elementary and dependent ones. For each elementary siphon, a monitor is added to the plant model such that the siphon is invariant-controlled. Our method guarantees that no emptiable control-induced siphon is generated due to the addition of the monitors. When all elementary siphons are controlled, the controllability of a dependent siphon is ensured by properly setting the control depth variables of its related elementary siphons. An FMS example is utilized to illustrate the proposed methods.

@article{LiWei07, abstract = {{Effective resolution for deadlock problems plays an important role in the operation of automated flexible manufacturing systems (FMS). Based on P-invariants and elementary siphons of Petri nets, a deadlock prevention policy is developed for a special class of Petri nets that can well model many FMS. Siphons in a plant net model are divided into elementary and dependent ones. For each elementary siphon, a monitor is added to the plant model such that the siphon is invariant-controlled. Our method guarantees that no emptiable control-induced siphon is generated due to the addition of the monitors. When all elementary siphons are controlled, the controllability of a dependent siphon is ensured by properly setting the control depth variables of its related elementary siphons. An FMS example is utilized to illustrate the proposed methods.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Li, Zhiwu and Wei, Na}, biburl = {https://www.bibsonomy.org/bibtex/2b39cf0e3306a99561bf3fa1d24c28518/fernand0}, citeulike-article-id = {8747578}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s00170-006-0452-3}, citeulike-linkout-1 = {http://www.springerlink.com/content/8706ln602r135q71}, day = 1, doi = {10.1007/s00170-006-0452-3}, interhash = {a9ea6e63f03932668aecb8a79a78188a}, intrahash = {b39cf0e3306a99561bf3fa1d24c28518}, issn = {0268-3768}, journal = {The International Journal of Advanced Manufacturing Technology}, keywords = {cerrojos, citas, citeulike control, deadlock, flexible, fms, manufacturing, siphons, systems}, month = may, number = 1, pages = {24--35}, posted-at = {2011-02-02 17:22:14}, priority = {2}, publisher = {Springer London}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Deadlock control of flexible manufacturing systems via invariant–controlled elementary siphons of petri nets}}, url = {http://dx.doi.org/10.1007/s00170-006-0452-3}, volume = 33, year = 2007 }