A timed high level Petri net model for the automation scheme of a chemical process
G. Nassapis, Dimitra Ananidou, Dimitrios Kleftouris · 2003
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.