Zusammenfassung
Die Vielzahl der in der Automatisierungstechnik gängigen Beschreibungsmittel wird in einer pragmatischen Gliederung für mehr als dreißig konventionelle Formen jeweils einzeln an Beispielen und unter Bezug auf Petrinetzdarstellungen behandelt. Dabei offenbart sich einerseits die enorme technische Spannweite der Automatisierungstechnik, andererseits fehlt ein durchgehendes methodisches Fundament. In vielen Fällen zeigt sich die Zähigkeit, zu konsolidierenden Standards zu kommen, und gleichzeitig die Problematik, etablierte Techniken zu verlassen. Abschließend wird eine umfassende Bewertung für methodische Entwicklungszwecke vorgenommen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Abel, D., Lemmer, K.: Theorie ereignisdiskreter Systeme. Oldenbourg Verlag, München u. a., 1998.
Abrial, J.-R..: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York, 1996.
Ahrens, W., Scheurlen, H.-J., Spohr, G.-U.: Informationsorientierte Leittechnik. Oldenbourg Verlag, München u. a., 1997.
Banaszak, Z. (Hrsg.): Modelling and Control of FMS — Petri Net Approach. Wroclaw Technical University Press, Wroclaw, 1991.
Bochmann, D.: Binäre dynamische Systeme. Vorlesungsskript, Universität Chemnitz, 1995.
Bochmann, D.: Modelle für ereignisdiskrete Systeme im Booleschen Differentialkalkül. At — Automatisierungstechnik 45, 1997, 3, S. 99–106.
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modelling Lan- guage User Guide. Addison-Wesley, Reading, 1998.
Börger, E., Mearelli, L.: Integrating ASMs into the Software Development Life Cycle. Journal of Universal Computer Science, Special ASM Issue, Vol. 3, No. 5, 1997, S. 603–665.
Borusan, A., Fricke, O., Gajewsky, M., Kindler, E., Lembke, S., Pad-berg, J., Vesper, T., Weber, H., Weber, M.: Foundation Concepts of the »Petri Net Baukasten«, Working Paper, Berlin, 1998.
Braker, J. G.: Algorithms and applications in timed discrete event systems. PhD thesis, Delft University of Technology, 1993.
Broy, M.: Towards a formal foundation of the specification and description language SDL. Universität Passau, Technische Berichte der Fakultät für Mathematik und Informatik, 1989.
Buchner, H.: Grundlagen der nichtmetrischen Prozeßbeschreibung als Basis der informationsorientierten leittechnischen Modellbildung. Dissertation, RWTH Aachen, 1997.
Buchner, H., Lauber, J., Polke, M.: Das Informationsmodell: Basis fill-die interdisziplinäre Prozeßbeschreibung. At — Automatisierungstechnik 42, 1994, 1, S. 5–10.
Chen, P. P.-S.: The Entity-Relationship Model: Toward a Unified View of Data. ACM Transactions on Database Systems, Vol. 1, 1976, No. 1, S. 9–36.
Chen, P. P.-S. (Ed.): Entity-Relationship-Approach to System Analysis and Design. North Holland, 1980.
Chen, P. P.-S. (Ed.): Entity-Relationship-Approach: The Use of the ER-Concept in Knowledge Representation. North Holland, 1985.
Chouikha, M., Janhsen, A., Schnieder, E.: Klassifikation und Bewertung von Beschreibungsmitteln für die Automatisierungstechnik. At — Automatisierungstechnik 46, 1998, 12, S. 582–591.
Damasio, A. R., Damasio, H.: Sprache und Gehirn. Spektrum der Wissenschaft, SPEZIAL 1, Gehirn und Geist, 1993, S. 46–55.
DeMarco, T: Structured Analysis and System Specification. Yourdon Press Inc., New York, 1990.
Dijkstra, E. W.: Goto Statement Considered Harmful. Communications of the ACM, Vol. 11, 1968, No. 3, S. 147–149.
Dijkstra, E. W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976.
Engell, S.: Hierarchical decentralized scheduling using min-max algebra. IFAC Symposium Large Scale Systems, Bejing, 1992, S. 567–572.
Epple, U.: Die Bausteintechnik — Grundlage einer objektorientierten Netzstruktur für die Prozeßleittechnik. GMA-Fachbericht 4, VDE-Verlag, Berlin/Offenbach, 1993.
Fasol, K. H.: Binäre Steuerungstechnik: Eine Einführung. Springer Verlag, Berlin u. a., 1988.
Franke, D.: Sequentielle Systeme. Binäre und Fuzzy Automatisierung mit arithmetischen Polynomen. Vieweg Verlag, Braunschweig, 1994.
Frick, K.: Zur Beschreibung von Petri-Netzen als Abtastsystem. At — Automatisierungstechnik 42, 1994, 9, S. 385–390.
Frick, K.: Steuerungsentwurf für Petri-Netze. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1995, S. 357–369.
Gabbay, D. M.: Temporal Logic: Mathematical Foundations. Bericht MPI-I-92–213, Max-Planck-Institut für Informatik, Saarbrücken, 1992.
Gottschalk, W.: Entwurf der Steuerung einer Paketverteilanlage durch SSP. In: Hommel, G. (Hrsg.), Teil 2, Kernforschungszentrum Karlsruhe GmbH, 9/1–9/13, 1980.
Halliger, M.: Die Modellierung ausgewählter Komponenten des Magnetbahnsystems TRANSRAPID mit dem Modellierungswerkzeug STATEMATE. Diplomarbeit, Institut für Regelungsund Automatisierungstechnik, TU Braunschweig, 1995
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8 (3), 1987, S. 231–274.
Harel, D., Pnueli, A., Schmidt, J. P., Sherman, R.: On the Formal Semantics of Statecharts (Extended Abstract). Proceedings of Logic in Computer Science. LICS 1987, S. 54–64.
Hatley, D., Pirbhai, I.: Strategien für die Echtzeit-Programmierung. Hanser Verlag, München u. a., 1993.
Henzinger, T. A: The Theory of Hybrid Automata. Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, 1996, S. 278–292.
Henzinger, T. A., Ho, P.-H., Wong-Toi, H.: HYTECH: A model chekker for hybrid systems. International Journal on Software Tools for Technology Transfer, Vol. 1, 1997, No. 1+2, S. 110–122.
Hogrefe, D.: Standard-Spezifikationssprachen für verteilte Systeme. Springer Verlag, Berlin u. a., 1989.
Ingendahl, N.: Konzept zur Analyse der Aufgabe und Auswahl der Präsentation für die Mensch-Prozeß-Kommunikation. Dissertation RWTH Aachen, 1998.
Jackendoff, R.: Semantic Interpretation in Generative Grammar. MIT Press, Cambridge, Mass., 1972.
Jakoby, W.: Automatisierungstechnik — Algorithmen und Programme, Entwurf und Programmierung von Automatisierungssystemen. Springer, 1996.
Janhsen, A.: Anthropozentrische Modellierung und Spezifikation komplexer Systeme am Beispiel von Eisenbahnleitsystemen. Dissertation, TU Braunschweig. Fortschritt-Berichte Reihe 8, 8 Anhang Nr. 696 VDI Verlag, Düsseldorf, 1998.
Janhsen, A., Lemmer, K., Ptok, B., Schnieder, E.: Formal Specification of the new European Train Control System. Proc. of 8th IFAC Symposium on Transportation Systems. Chania, 1997, 5. 1215–1220.
Jopke, K., Knigge, R., Schnieder, E.: Specification of real-time systems for protection tasks in automated high-speed tation systems. IFAC International Workshop on Real-Time Programming WRTP, 1992, Brügge, S. 67–72.
Kiefer, J.: Methodische Partitionierung und Parametrierung von Feldbussen. Dissertation, TU Braunschweig. Fortschritt-Berichte Reihe 10, Nr. 428, VDI Verlag, Düsseldorf, 1996.
King, P. W.: Formalization of Protocol Engineering Concepts. IEEE Transactions on Computers, Vol. 40, 1991, No. 4, S. 387–403.
KKS: KKS-Kraftwerk-Kennzeichensystem. VGB Kraftwerkstechnik GmbH, Essen, 1991.
König, R., Quack, L.: Petrinetze in der Steuerungs- und Digitaltechnik. Oldenbourg Verlag, München u. a., 1988.
Kowalewski, S., Preußig, J., Stursberg, O., Treseler, H.: Blockorientierte Modellierung und formale Verifikation von diskret gesteuerten kontinuierlichen Prozessen. In: VDI Berichte 1397, 1998, S. 335–342.
Krapp, M.: Digitale Automaten. 2. Aufl., Verlag Technik, Berlin, 1991.
Lakoff, G.: Linguistik und natürliche Logik. Athenäum Verlag, Frankfurt, 1970
Lamp, M.: Überführung von Spezifikationen in der Notation der Strukturierten Analyse in Petrinetz-Modelle. Diplomarbeit, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1996.
Langendörfer, H., Schnor, B.: Verteilte Systeme. Hanser Verlag, München, 1994.
Larsen, K. G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer, Vol. 1, 1997, No. 1+2, pp. 134–152.
Lemmer, K.: Einsatz von Werkzeugen für die Projektsteuerung. Entwurfsarbeit, Institut für Datenverarbeitungsanlagen, TU Braunschweig, 1989.
Lemmer, K., Schnieder, E., Wend, F.: Netzbasierter Entwurf von SPSProgrammen. SPS/PC90/Drives 90, Stuttgart 1990, S. 117–127.
Litz, L.: Entwurf industrieller Prozeßsteuerungen auf der Basis geeigneter Petri-Netz-Interpretationen. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisieungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1995, S. 417–429.
Maier, U.: Prozeßleitsystemunabhängige Software-Planung. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1995, S. 431–448.
Malhotra, M., Trivedi, K.: Dependability Modeling Using Petri-Nets. IEEE Transactions on Reliability, Vol. 44, No. 3, 1995.
Moßig, K.: Algebraischer Steuerungsentwurf für eine Klasse ereignisdiskreter Prozesse mittels der Max-Plus-Algebra. Dissertation Universität Karlsruhe. Fortschritt-Bericht Reihe 20, Nr. 224, VDI-Verlag, Düsseldorf, 1996.
Moßig, K., Rehkopf, A.: Einführung in die „Max-Plus“-Algebra zur Beschreibung ereignisdiskreter dynamischer Prozesse. At —Automatisierungstechnik 44, 1996, 1, S. 3–9.
Moßig, K., Stäble, M.: Steuerungssynthese mit kontrollierten FreeChoice Petri-Netzen zur Prozeßbeschreibung. At — Automatisierungstechnik 43, 1995, 11, S. 506–513.
Müller, T.: Nutzung von Petri-Netzen bei Entwurf und Verifikation eines SKR-softwarekompatiblen 16-Bit-Mikrorechnersystems. Dissertation, TH Dresden, 1990.
Müller, J.-O.: Entwurf einer optimalen Mensch-Prozeß-Kommunikation für einen Dispositionsarbeitsplatz im Magnet-Schnellbahn-Verkehr. Dissertation, TU Braunschweig. Fortschritt-Berichte Reihe 10, Nr. 458, VDI Verlag, Düsseldorf, 1996.
Neumann. P., Grötsch, E., Lubkoll, C., Simon, R.: SPS-Standard: JEC 1131 — Programmierung in verteilten Automatisierungssystemen. Oldenbourg Verlag, München, 1995.
Neupert, D.: Mensch-Prozeß-Kommunikation und der Beitrag der Datenreduktion. Dissertation, RWTH Aachen, 1997.
Oldenbourg Verlag: Oldenbourg Datenbank Automatisierungstechnik ODATA, 1. Ausgabe 1998. Anzeige in der at - Automatisierungstechnik 45, 1997, S. 445.
Ortner, E.: Methodenneutraler Fachentwurf. Teubner Verlag, Leipzig u. a., 1997
Pagnoni, A.: Project Engineering, Computer-Oriented Planning and Operational Decision Making. Springer Verlag, Berlin u. a., 1990.
Peters, W.: Informationsstrukturen für das Gebiet der Prozeßleittechnik und ihre Präsentation in einem Hypermediasystem. Dissertation, RWTH Aachen, 1994.
Peters, R.-W., Götz, St., Haak, R., Kötzle, G., Specht, R., Vogel, U.: Einheitliche Gerätedokumentation für die industrielle Prozeßmeßtechnik. Atp — Automatisierungstechnische Praxis 38, 1996, 9, S. 18–24.
Pichler, F.: Mathematische Systemtheorie: Dynamische Konstruktionen. Walter de Gruyter Verlag, Berlin, 1975.
Pinker, S.: Der Sprachinstinkt. Wie der Geist die Sprache bildet. Kindler Verlag, München, 1996.
Prähofer, H.: System Theoretic Foundations for Combined DiscreteContinuous System Simulation. Dissertation, Universität Linz, 1991.
Pritschow, G.: Offene Systeme für die Automatisierungstechnik in der Produktion. In: VDI Berichte 1067, GMA-Kongress ‘83, Automatisierungstechnik, S. 101–124, VDI-Verlag, Düsseldorf, 1993.
Raasch, J.: Systementwicklung mit Strukturierten Methoden: Ein Leitfaden fair Praxis und Studium. Hanser Verlag, München u. a., 1991.
Rath, A.: Zustandsgraphen, eine neue, aussichtsreiche Programmiermethode. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungsund Automatisierungstechnik, TU Braunschweig, 1995, S. 131–150.
Rieger, P., Hoang, M. S., Ezerskis, D.: Lösung automatisierungstechnischer Aufgaben durch objektorientierte Vorgehensweisen. SAK ( Siemens Automatisierungs-Kreis ), Dresden, 1997.
Roth, K.: Konstruieren mit Konstruktionskatalogen: Systematisierung und zweckmäßige Aufbereitung technischer Sachverhalte für das methodische Konstruieren. Springer Verlag, Berlin u. a., 1994.
Rudolph, E., Graubmann, P.: Prozeßanalyse und Testdatengewinnung für Vermittlungssysteme mit Hilfe von Petrinetzen. Berichte des German Chapter ACM 19/1985, Teubner Verlag, Stuttgart, S. 192–209.
Schelberg, H. J., Lanza, M.: Objektorientierte Projektierung von SPS-Software. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Rege-lungs- und Automatisierungstechnik, TU Braunschweig, 1995, S. 463–478.
Scheschonk, G.: Strukturierte Analyse (SA) und Petri-Netze (CPN) —Eine Modelltranformation. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1992, S. 229–245.
Scheurig, R.: Modellierung, Beobachtung und Steuerung ereignis-rientierter verfahrenstechnischer Systeme. Dissertation Universität Stuttgart, VDI-Verlag, Düsseldorf, 1995.
Schnabel, M. K., Nenninger, G. M., Krebs, V. G.: Konvertierung sicherer Petri-Netze in Statecharts. (Erscheint in at - Automatisierungstechnik 47).
Schnieder, E., Chouikha, M.: Modellbasierter Steuerungsentwurf GMA-Bericht 31, VDI/VDE-Fachtagung Steuerungstechnik: Methodik komplexer Anwendungen, Projektierung — Inbetriebnahme — Betrieb. Tagungsband, Langen, 1997, S. 87–89.
Schnieder, E., Chouikha, M.: Beschreibungsmittel und Methoden für kontinuierlich-diskrete Systeme — erste Ergebnisse des DFGSchwerpunktprogramms KONDISK. In: Abel, D., Lemmer, K. (Hrsg.): Theorie ereignisdiskreter Systeme. Oldenbourg Verlag, München u. a., 1998, S. 243–253.
Shegalkin, I. I.: Die Arithmetisierung der symbolischen Logik. Mat cß, T. 35, 1928, S. 311–377.
Spannuth, M.: Anwendung der Entscheidungstabellentechnik bei der Analyse von Petri-Netzen. Studienarbeit, TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik, 1991.
Specker, B.: Performability-Analyse dynamischer Systeme mit Hilfe stochastischer Petri-Netze. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1993, S. 237–250.
Starke, P. H.: Analyse von Petri-Netzen. Teubner Verlag, Stuttgart, 1990.
Stewart, W. J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton, 1994.
Suckut, Th.: Informationsmodell für das Mehrprojektmanagement. Dissertation, RWTH Aachen, 1995.
Thomas, C.: Ein objektorientiertes Konzept zur Modellierung und Simulation komplexer Systeme. Dissertation, TU Braunschweig. Fortschritt-Berichte Reihe 20, Nr. 208 VDI Verlag, Düsseldorf, 1996.
Thurner, E. M.: Formale Beschreibung und Verifikation von Hardwareprotokollen. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1995, S. 197–215.
van Schrick, D.: Technisches Ausfall- und Fehlermanagement. Eine Terminologieskizze. 33. Regelungstechnisches Kolloquium, Boppard, 1999.
von der Beeck, M.: A Comparison of Statecharts Variant. Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT ‘84), LNCS 863, Springer Verlag, Berlin u. a., S. 128–148.
Weule, H., Oestreicher, Th.: Grafisch interaktive Projektierung und Programmierung von Steuerungssystemen. In: Schnieder, E. (Hrsg.): Petrinetze in der Automatisierungstechnik. Oldenbourg Verlag, München u. a., 1992, S. 138–148.
Wunsch, G.: Geschichte der Systemtheorie: Dynamische Systeme und Prozesse. Oldenbourg Verlag, München u. a., 1985.
Yourdon, E.: Moderne strukturierte Analyse. 1. Aufl., Wolfram’ s Fachverlag, Attenkirchen, 1992.
Yovine, S.: KRONOS: a verification tool for real-time systems. International Journal on Software Tools for Technology Transfer, Vol. 1, 1997, No. 1+2, S. 123–133.
Zander, H.-J.: Logischer Entwurf binärer Systeme. Verlag Technik, Berlin, 1989.
Zeigler, B. P.: Theorie of modelling and simulation. Wiley, New York u. a., 1976.
Zimmermann, H.-J.: Fuzzy Set Theory - and Its Applications. Kluver Academic Publishers, Bosten, Massachusetts, 1991.
Zimmermann, A.: Modellierung und Bewertung von Fertigungs- systemen mit Petri-Netzen. Dissertation, TU Berlin, 1996.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Schnieder, E. (1999). Konventionelle Beschreibungsmittel. In: Methoden der Automatisierung. Studium Technik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-90879-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-90879-7_5
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-06566-9
Online ISBN: 978-3-322-90879-7
eBook Packages: Springer Book Archive