%0 Conference Paper %1 WOS:000086709200019 %A Barroso, GC %A de Alexandria, AR %B INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98) %C THE BOULEVARD LANGFORD LANE KIDLINGTON, OXFORD OX5 1GB, ENGLAND %D 1999 %E Pereira, P Kopacek and CE %I PERGAMON PRESS LTD %K Net; Petri control; discrete event network} neural system; {supervisory %P 109-113 %T Neural network transition enabling function Petri Net to supervisory control %X This paper presents Petri Net (PN) models conceived to be employed with the Supervisory Control Theory (SCT). The SCT deals with the supervisory synthesis problem. In this paper, the supervisor synthesis is obtained by processing both the system and specification models through two algorithms, MRTA and ACGS respectively. These algorithms make possible to obtain the supervisor of a discrete event system (DES), modeled by a Petri Net with Neural Network Transition Enabling Function (PNTEF), based on a given specification. A supervisor of a manufacturing cell example is presented. Copyright (C) 1998 IFAC. %@ 0-08-043239-5

@inproceedings{WOS:000086709200019, abstract = {This paper presents Petri Net (PN) models conceived to be employed with the Supervisory Control Theory (SCT). The SCT deals with the supervisory synthesis problem. In this paper, the supervisor synthesis is obtained by processing both the system and specification models through two algorithms, MRTA and ACGS respectively. These algorithms make possible to obtain the supervisor of a discrete event system (DES), modeled by a Petri Net with Neural Network Transition Enabling Function (PNTEF), based on a given specification. A supervisor of a manufacturing cell example is presented. Copyright (C) 1998 IFAC.}, added-at = {2022-05-23T20:00:14.000+0200}, address = {THE BOULEVARD LANGFORD LANE KIDLINGTON, OXFORD OX5 1GB, ENGLAND}, author = {Barroso, GC and de Alexandria, AR}, biburl = {https://www.bibsonomy.org/bibtex/2f6d0cfd853b63b3f02b23b9e3a3efec3/ppgfis_ufc_br}, booktitle = {INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98)}, editor = {Pereira, P {Kopacek and CE}}, interhash = {e46f14637f13f0c9068ef66973cb9cb5}, intrahash = {f6d0cfd853b63b3f02b23b9e3a3efec3}, isbn = {0-08-043239-5}, keywords = {Net; Petri control; discrete event network} neural system; {supervisory}, note = {5th IFAC Workshop on Intelligent Manufacturing Systems (IMS 98), GRAMADO, BRAZIL, NOV 09-11, 1998}, organization = {Int Federat Automat Control, Tech Comm Adv Mfg Technol; Int Federat Automat Control, Tech Comm Real Time Software Engn; Int Federat Automat Control, Tech Comm AI RT Control; Univ Fed Rio Grande Sul; Soc Brasiliera Automat}, pages = {109-113}, publisher = {PERGAMON PRESS LTD}, pubstate = {published}, series = {IFAC WORKSHOP SERIES}, timestamp = {2022-05-23T20:00:14.000+0200}, title = {Neural network transition enabling function Petri Net to supervisory control}, tppubtype = {inproceedings}, year = 1999 }