A Petri Net Approach of Deadlock Prevention in Batch Processes in Case of Failure (CROSBI ID 485670)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kezić, Danko ; Perić, Nedjeljko ; Petrović, Ivan
engleski
A Petri Net Approach of Deadlock Prevention in Batch Processes in Case of Failure
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.
batch process; deadlock prevention; siphon
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
205-210-x.
2002.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of IEEE International Symposium on Industrial Electronics
Pietrzykoski, Ferri G.
L'Aquila:
Podaci o skupu
2002 IEEE International Symposium on Industrial Electronics
predavanje
09.07.2002-11.07.2002
L'Aquila, Italija