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

Volume

2

fYear

1999

fDate

5-8 Sep 1999

Firstpage

879

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICECS.1999.813249

Filename

813249