01188naa a2200205 a 450000100080000000500110000800800410001910000190006024500680007926000090014730000200015649000080017652005410018465000150072565300150074065300190075570000190077470000180079377301710081110026772011-03-25       1995    bl uuuu     u00u1 u    #d1 aBARROSO, G. C.  aModular synthesis of supervisors based on a Petri net approach.  c1995  ap. 965-976. v.2  vv.2  aThis paper presents a modular synthesis approach based on a class of modular Petri nets named G-Nets, conceived to be employed with the Supervisory Control Theory (SCT). Two algorithms are presented, and the supervisor synthesis is obtained by processing both the system and specification models through these algorithms. These algorithms make possible to obtain the controller of a discrete event system based on a given specification. Moreover its simplicity and efficiency are demonstrated using a typical manufacturing cell problem.  aAlgorithms  aAlgoritmos  aRedes de Petri1 aLIMA, A. M. N.1 aPERKUSICH, A.  tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.