Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Modelling and design of complex systems with petri nets
| Schnieder, E. ; TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik:
Entwurf komplexer Automatisierungssysteme '95 : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel
Braunschweig: E.Schmidt, 1995
ISBN: 3-9803363-3-6
pp.237-247 |
| Fachtagung Entwurf Komplexer Automatisierungssysteme <4, 1995, Braunschweig> |
|
| English |
| Conference Paper |
| Fraunhofer ISST () |
| coloured petri net; controlling software; design; FMS; modelling |
Abstract
A coloured Petri nets based modelling and design concepts for complex real-time systems are presented. They appear in two forms, as functional models and as architecture models, and provide representation for specified time constraints. These are illustrated with the generic executable specification of a control software system for the flexible manufacturing system. The concepts can be easy extended for specification of the CIM-architectures. The complexity of system models is managed by views, that we employ to represent the same system from different points of view.