%0 Journal Article %1 Mowafak16 %A Abdu-Hussin, Mowafak H. %D 2016 %E Romero, Gregorio %J International Journal of Simulation Systems, Science & Technology %K citas, citeulike fms, referencias, s4pr %N 33 %P 31.1--31.11 %T AN S4PR CLASS PETRI NET SUPERVISOR FOR MANUFACTURING SYSTEM %V 17 %X Petri Nets are a family of formalisms that allow to effective ly model manufacturing systems. The experimental approach method is provided to ensure formally in elementary si phons to distinguish deadlock conditions for a class in terms o f generalized Petri nets, namely S 4 PR. A siphon is a kind of special structural objects of a Petr i net and plays an important role in synthesizing a live Petri net controller of flexible manufactur ing systems FMS. An FMS corresponds to a class of concurrent systems called Resource Allocation Systems (RASs). The application of Petri Nets (PNs) in RASs is an activ e research field devoted to defining and exploits differen t subclasses of Petri Nets all owing modeling the widest set of RAS. A monitor is added for a derived minimal siphon such that it is max-controlled if it is elementa ry with respect to the siphons that have been derived. Simulati on PN to the structural analysis and reachability graph analysis are employed to synthesize and control of FMS. An example is used to illustrate this method.

@article{Mowafak16, abstract = {{Petri Nets are a family of formalisms that allow to effective ly model manufacturing systems. The experimental approach method is provided to ensure formally in elementary si phons to distinguish deadlock conditions for a class in terms o f generalized Petri nets, namely S 4 PR. A siphon is a kind of special structural objects of a Petr i net and plays an important role in synthesizing a live Petri net controller of flexible manufactur ing systems FMS. An FMS corresponds to a class of concurrent systems called Resource Allocation Systems (RASs). The application of Petri Nets (PNs) in RASs is an activ e research field devoted to defining and exploits differen t subclasses of Petri Nets all owing modeling the widest set of RAS. A monitor is added for a derived minimal siphon such that it is max-controlled if it is elementa ry with respect to the siphons that have been derived. Simulati on PN to the structural analysis and reachability graph analysis are employed to synthesize and control of FMS. An example is used to illustrate this method.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Abdu-Hussin, Mowafak H.}, biburl = {https://www.bibsonomy.org/bibtex/27584e2cc42feedb8451ce37763af2e8a/fernand0}, citeulike-article-id = {14245904}, editor = {Romero, Gregorio}, interhash = {82776589b878501eb45a503714edbdb4}, intrahash = {7584e2cc42feedb8451ce37763af2e8a}, issn = {1473-804x}, journal = {International Journal of Simulation Systems, Science \& Technology}, keywords = {citas, citeulike fms, referencias, s4pr}, number = 33, pages = {31.1--31.11}, posted-at = {2017-01-03 16:07:05}, priority = {2}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {AN S4PR CLASS PETRI NET SUPERVISOR FOR MANUFACTURING SYSTEM}, volume = 17, year = 2016 }