Title :
A timed high level Petri net model for the automation scheme of a chemical process
Author :
Nassapis, G. ; Nanidou, Dimitra ; Kleftouris, Dimitrioksl
Author_Institution :
Dept. of Electr. & Comput. Eng., Aristotelian Univ. of Thessaloniki, Greece
Abstract :
In this paper the construction of a model is presented for the description of the way software designed to control an experimental batch process is executed on a real-time multitasking system. The model is expressed in the form of a THLPN (timed high-level Petri net) and provides a systematic way of analyzing the temporal and functional behaviour of the application software. The analysis is based on finding subsets of the net states and searching in these subsets for the existence of states related with the desired functional and temporal requirements
Keywords :
Petri nets; batch processing (industrial); chemical industry; process control; real-time systems; THLPN; application software; automation scheme; batch process; chemical process; functional behaviour; net states; real-time multitasking system; subsets; temporal behaviour; timed high level Petri net model; Application software; Automatic control; Automation; Chemical processes; Computer industry; Industrial control; Multitasking; Real time systems; Software design; Switches;
Conference_Titel :
Electronics, Circuits and Systems, 1999. Proceedings of ICECS '99. The 6th IEEE International Conference on
Conference_Location :
Pafos
Print_ISBN :
0-7803-5682-9
DOI :
10.1109/ICECS.1999.813249
