Naslov
A Petri Net Approach of Deadlock Prevention in Batch Processes in Case of Failure

Autori
Kezić, Danko ; Perić, Nedjeljko ; Petrović, Ivan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of IEEE International Symposium on Industrial Electronics / Pietrzykoski, Ferri G. - L'Aquila, 2002, 205-210

Skup
2002 IEEE International Symposium on Industrial Electronics

Mjesto i datum
L'Aquila, Italija, 09.07.2002. - 11.07.2002

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
šaržni proces; sprječavanje zaglavljenja; sifon
(batch process; deadlock prevention; siphon)

Sažetak
This paper deals with a method of using a Petri net to prevent the deadlock, which can occur in industrial plants where batch processes are used, such as food, pharmaceutical and cement industries. Individual pieces of equipment in these plants are controlled by independent programmable logical controllers (PLC), which are later interconnected into the local area network (LAN). PLC-s communicate with each other and synchronize their work. However, when such plants produce various products using different recipes simultaneously, and when one part abruptly gets out of the system, a system deadlock can occur and cause great damage. Designers of these control systems for batch processes have to think of failure possibility, and they have to insure that the process continues in that case. This paper shows how it is possible to synthesize the supervisor that will prevent deadlock occurrences in a batch process by the use of Petri nets in the case of equipment failure. The synthesis of the supervisor that insures the deadlock-free operation is illustrated by one example of a batch process.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Temeljne tehničke znanosti

POVEZANOST RADA