COMPUTER SIMULATION ORIENTED MODELS OF CONCURRENTLY FLOWING PROCESSES

Abstract The complexity of modern industrial installations requires the utilization of interconnected programmable logic controllers. A tool is necessary for the formal specification and validation of the control procedures, altogether with methods allowing a direct implementation of these specifications in the system, aimed at the computer simulation of process flow performances. This paper deals with a Petri net approach to the automatic design of control programs supervising concurrent, pipeline-like flowing processes. Its objective lies in the formal statement of the conditions sufficient for the design of a class of net models reflecting all admissible controls of processes flow. Shortcomings and benefits of the introduced approach are discussed as well as its further developments are pointed out.