Ivanova D.Batchkova I.Panjaitan S.Wagner F.Frey G.2024-07-102024-07-102024-07-102024-07-102009-01-011474-667010.3182/20090603-3-RU-2001.0189SCOPUS_ID:79960923514https://rlib.uctm.edu/handle/123456789/222Modeling of batch process control over several hierarchical layers is proposed in ISA S88, independently of a concrete implementation. IEC 61499, describes models to implement distributed control systems. This contribution proposes to combine the concepts of ISA S88 for hierarchical design with the models of IEC 61499 for distributed implementation. To formally describe and analyze the control sequences, Signal Interpreted Petri Nets are utilized. From the verified description, the implementation is derived using pre-defined IEC 61499 function blocks either by hierarchical aggregation of the blocks or by using a scheduler. The scheduler approach allows re-configuration of the sequences without altering the implemented controller. The proposed approach offers analyzable formal models, re-usable basic components, and re-configurable distributed implementation. © 2009 IFAC.enConference Paper