In: Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, pages 103-126. Fraunhofer Gesellschaft, ISST, 1999.
Abstract: Automatic control systems are a special class of communication systems where a controlled object (the plant) interacts with a controlling object (the controller) in a closed loop. Modeling of closed-loop behavior plays an important role in modern methodologies for logic controller design. The paper discusses come essential requirements regarding modeling that emerge from the specifics of the closed-loop behavior. It sketches a way how some of these requirements can be fulfilled and give some examples.