%0 Journal Article %1 LiuWangHayatAlsaediLi15 %A Liu, Miao %A Wang, ShouGuang %A Hayat, Tasawar %A Alsaedi, Ahmed %A Li, ZhiWu %D 2015 %I Oxford University Press %J IMA Journal of Mathematical Control and Information %K citas, citeulike fms, ls3pr, nets, petri, referencias %P dnv016+ %R 10.1093/imamci/dnv016 %T A resource configuration method for liveness of a class of Petri nets %U http://dx.doi.org/10.1093/imamci/dnv016 %X Petri nets are widely used to model flexible manufacturing systems (FMSs). A linear system of simple sequential processes with resources (LS\$^3\$PR), as an important subclass of Petri nets, can well model many FMSs. In this paper, a resource configuration method for liveness of an LS\$^3\$PR is proposed. First, the relationship between the markings of resource places and process idle places in an LS\$^3\$PR is analysed. Next, an algorithm used to compute the marking for each resource place in an LS\$^3\$PR is developed by taking the full advantages of resource subnets. Finally, the computational complexity of the algorithm is proved to be polynomial. Two examples are used to illustrate the application of the proposed method.

@article{LiuWangHayatAlsaediLi15, abstract = {{Petri nets are widely used to model flexible manufacturing systems (FMSs). A linear system of simple sequential processes with resources (LS\$^3\$PR), as an important subclass of Petri nets, can well model many FMSs. In this paper, a resource configuration method for liveness of an LS\$^3\$PR is proposed. First, the relationship between the markings of resource places and process idle places in an LS\$^3\$PR is analysed. Next, an algorithm used to compute the marking for each resource place in an LS\$^3\$PR is developed by taking the full advantages of resource subnets. Finally, the computational complexity of the algorithm is proved to be polynomial. Two examples are used to illustrate the application of the proposed method.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Liu, Miao and Wang, ShouGuang and Hayat, Tasawar and Alsaedi, Ahmed and Li, ZhiWu}, biburl = {https://www.bibsonomy.org/bibtex/2b66efcc8d34b131a3ac027b8a13bdc91/fernand0}, citeulike-article-id = {13619016}, citeulike-linkout-0 = {http://dx.doi.org/10.1093/imamci/dnv016}, citeulike-linkout-1 = {http://imamci.oxfordjournals.org/content/early/2015/05/10/imamci.dnv016.abstract}, citeulike-linkout-2 = {http://imamci.oxfordjournals.org/content/early/2015/05/10/imamci.dnv016.full.pdf}, day = 10, doi = {10.1093/imamci/dnv016}, interhash = {d2d0fb9b2894543851560dc27c30b534}, intrahash = {b66efcc8d34b131a3ac027b8a13bdc91}, issn = {1471-6887}, journal = {IMA Journal of Mathematical Control and Information}, keywords = {citas, citeulike fms, ls3pr, nets, petri, referencias}, month = may, pages = {dnv016+}, posted-at = {2015-05-19 15:12:19}, priority = {2}, publisher = {Oxford University Press}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{A resource configuration method for liveness of a class of Petri nets}}, url = {http://dx.doi.org/10.1093/imamci/dnv016}, year = 2015 }