Logic bases of technological process and equipment complex management of the flow-type manufactures

Abstract

The technique of formalization and modeling of technological process management rules is offered. These rules are traditionally defined in regulations. Formalization based on three level event manufacture model and developed on this model control scheme is offered. Control scheme determines event and command stream at structure of models: technological control object, automation system, SCADA, operator. In the end formalized rules are defined by the active scenarios. Scenarios, together with hierarchical event models, allow to operate technological object directly. Method of sequent structuring, what allows to effectively define its hierarchical event models using unified rules for any hierarchy level processes, is described.