%0 Journal Article %1 Narahari:1985:aor %A Narahari, Y. %A Viswanadham, N. %D 1985 %I Springer %J Annals of Operations Research %K imported thesis %N 8 %P 449--472 %R 10.1007/BF02023780 %T A Petri net approach to the modelling and analysis of flexible manufacturing systems %V 3 %X In this paper we present an approach for modelling and analyzing flexible manufacturing systems (FMSs) using Petri nets. In this approach, we first build a Petri net model (PNM) of the given FMS in a bottom-up fashion and then analyze important qualitative aspects of FMS behaviour such as existence/absence of deadlocks and buffer overflows. The basis for our approach is a theorem we state and prove for computing the invariants of the union of a finite number of Petri nets when the invariants of the individual nets are known. We illustrate our approach using two typical manufacturing systems: an automated transfer line and a simple FMS.

@article{Narahari:1985:aor, abstract = {In this paper we present an approach for modelling and analyzing flexible manufacturing systems (FMSs) using Petri nets. In this approach, we first build a Petri net model (PNM) of the given FMS in a bottom-up fashion and then analyze important qualitative aspects of FMS behaviour such as existence/absence of deadlocks and buffer overflows. The basis for our approach is a theorem we state and prove for computing the invariants of the union of a finite number of Petri nets when the invariants of the individual nets are known. We illustrate our approach using two typical manufacturing systems: an automated transfer line and a simple FMS.}, added-at = {2017-03-16T11:50:55.000+0100}, affiliation = {School of Automation Indian Institute of Science 560012 Bangalore India}, author = {Narahari, Y. and Viswanadham, N.}, biburl = {https://www.bibsonomy.org/bibtex/23842c227085cc9ed287a97cf9cc3a479/krevelen}, doi = {10.1007/BF02023780}, interhash = {bc9de8e8647c3231d056620de0fb2e68}, intrahash = {3842c227085cc9ed287a97cf9cc3a479}, issn = {0254-5330}, journal = {Annals of Operations Research}, keyword = {Business and Economics}, keywords = {imported thesis}, number = 8, owner = {Rick}, pages = {449--472}, publisher = {Springer}, timestamp = {2017-03-16T11:54:14.000+0100}, title = {A Petri net approach to the modelling and analysis of flexible manufacturing systems}, volume = 3, year = 1985 }