Izvorni znanstveni članak
Algoritam za sprječavanje zastoja temeljen na uzastopnoj kontroli sifona Petrijeve mreže
Danko Kezić
Nedjeljko Perić
Ivan Petrović
Sažetak
Članak opisuje formalnu metodu proračuna nadzornika za sprječavanje zastoja korištenjem Petrijevih mreža. Predloženi algoritam koristi stablo dostupnih stanja za detekciju stanja zastoja i metodu uzastopne kontrole sifona za sintezu nadzornika za sprječavanje zastoja. Nadzornik je najviše dopuštajući i sadrži najmanji broj kontrolnih mjesta. Algoritam je namijenjen za reverzibilne ili djelomično reverzibilne P-T Petrijeve mreže, ali se može koristiti i za obične Petrijeve mreže. Proračun nadzornika pokazan je na dva primjera. Prvi primjer prikazuje sintezu nadzornika za sprječavanje zastoja u fleksibilnom proizvodnom sustavu s tri robota i tri proizvodne trake, gdje se zastoj može dogoditi zbog međusobnog natjecanja transportnih traka za angažiranjem robota te zbog nepredvidljivosti trajanja tih angažmana. Drugi primjer prikazuje sintezu nadzornika u pomorskom prometnom sustavu, gdje se opasne situacije zastoja plovila mogu dogoditi poradi neodgovarajućeg pomicanja plovila kroz sustav. Da bi se to izbjeglo, promet plovila se nadzire i upravlja pomoću svjetlosne signalizacije korištenjem nadzornika za sprječavanje zastoja, koji je odgovoran za zaustavljanje plovila samo u slučaju opasnog stanja te dok to stanje ne nestane.
Ključne riječi
nadzornik za sprječavanje zastoja; Petrijeva mreža; kontrola sifona
Hrčak ID:
4407
URI
Datum izdavanja:
3.5.2006.
Posjeta: 2.873 *