An engineerable procedure description method for industrial automation

Describing procedures is essential for modeling and controlling technical processes. Although various procedure description methods are available from computer science, system theory and industrial automation, they are only partially suitable as a generic method for engineering automation procedures. In order to close this gap, we propose a procedure description formalism together with a concept of its integration into existing automation systems. By utilizing of the proposed means we obtain an engineerable, generic and user accepted procedure description method.