Advertisement

Petrinetze als Beschreibungsmittel

  • Eckehard Schnieder
Part of the Studium Technik book series (ST)

Zusammenfassung

Konventionelle Beschreibungen von Automatisierungssystemen spiegeln die verschiedenen Sichten und überstreichen ein umfangreiches Spektrum von rein verbaler Beschreibung über informelle, graphische, mathematische, programmiersprachliche, blockbildhafte bis zu maßstäblichen graphischen Abbildungen. Alle diese Beschreibungsmittel dienen dazu, Objekte, Struktur und Dynamik des Automatisierungssystems unter der jeweiligen Betrachtungsperspektive zu repräsentieren.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [Abel 90]
    Abel, D.: Petrinetze für Ingenieure. Springer Verlag, Berlin u. a., 1990.CrossRefGoogle Scholar
  2. [Alur et al. 95]
    Mur, R., Courcoubetis, C., Henzinger, T. H., Ho, P. H.: Hybrid Automata: an algorithm approach to the specification and analysis of hybrid systems. LNCS 736, Springer Verlag, Berlin, 1993.Google Scholar
  3. [Azzopardi/Holding 97]
    Azzopardi, D., Holding, D. J.: Petri Nets and OMT for Modelling and Analysis of DEDS. Control Engineering Practice 5, 1997, 10, S. 1407–1415.CrossRefGoogle Scholar
  4. [Baldassari et al. 89]
    Baldassari, M., Bruno, G., Russi, V., Zompi, R.: PROTOB a Hierarchical Object Oriented CASE Tool for Distributed Systems. In: Ghezzi, C., McDermid, J. A. (Hrsg.): Proceedings 2nd European Software Engineering Conference ESEC’89, University of Warwick, Conventry, UK, 1989, LNCS 387, Springer Verlag, Berlin u. a., 1989, S. 424–445.Google Scholar
  5. [Battiston et al. 88]
    Battiston, E., De Cindio, F., Mauri, G.: OBJSA Nets: A Class of High-Level Nets Having Objects as Domains. In: Rozenberg, G. (Hrsg.): Advances in Petri Nets 1988, LNCS 340, Springer Verlag, Berlin u. a., 1988, S. 20–43.CrossRefGoogle Scholar
  6. [Baumgarten 90]
    Baumgarten, B.: Petri-Netze — Grundlagen und Anwendungen. BI-Wissenschaftsverlag, Mannheim, 1990.Google Scholar
  7. [Bause/Kemper 93]
    Bause, F., Kemper, P: Queueing Petri Nets. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1993, S. 219–236.Google Scholar
  8. [Biberstein/Buchs 95]
    Biberstein, O., Buchs, D.: Structured Algebraic Nets with Object Orientation. Workshop on Object-Oriented Programming and Models of Concurrency, International Conference on Application and Theory of Petrinets, Turin, Italien, 1995.Google Scholar
  9. [Bochmann 82]
    Bochmann, D.: Automatengraphen. Akademie Verlag, Berlin, 1982.zbMATHGoogle Scholar
  10. [Chouikha/Schnieder 98]
    Chouikha, M., Schnieder, E.: Modelling of Continuousdiscrete Systems with Hybrid Petri Nets. Proceedings of IEEE-IMACS Computational Engineering of Systems Applications CESA’98, Hammamet, 1998, S. 606–612.Google Scholar
  11. [Dähler 91]
    Dähler, J.: Pace, ein interaktives graphisches Werkzeug für PetriNetze mit Smalltalk-Erweiterung. In: Schnieder, E. (Hrsg.): Effizientes Engineering komplexer Automatisierungssysteme. Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1991, S. 173–185.Google Scholar
  12. [David/Alla 92]
    David, R., Alla, H.: Petri Nets and Grafcet-tools for modelling discrete event systems. Prentice Hall, New York, 1992.zbMATHGoogle Scholar
  13. [Decknatel/Schnieder 98]
    Decknatel, G., Schnieder E.: Modelling Railway Systems with Hybrid Petri Nets. Proceedings. ADPM’98, 3rd International Conference on Automation of Mixed Processes, Reims, 1998, S. 309–315.Google Scholar
  14. [Ehlermann 92]
    Ehlermann, H.: Zeitbewertungen von Petrinetzen. Diplomarbeit, TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik, 9156, 1992.Google Scholar
  15. [English 93]
    English, S. L.: Coloured Petri Nets for Object-Oriented Modelling. Thesis, University of Brighton, 1993.Google Scholar
  16. [Fay 97]
    Fay, A.: Erfassung unpräziser Informationen in der Systembeschreibung — ein Überblick über die Möglichkeiten der FuzzyPetrinetze. In: Schnieder, E., Abel, D. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1997, S. 224–240.Google Scholar
  17. [Fay/Schnieder 98]
    Fay, A., Schnieder, E.: Fuzzy-Entscheidungsunterstützung für kurzfristige Umplanungen im Schienenverkehr. In: Biethahn, A. et al. (Hrsg.): Betriebswirtschaftliche Anwendungen des Softcomputing, Vieweg Verlag, Braunschweig, 1998, S. 217–232.CrossRefGoogle Scholar
  18. [Flaus/Ollagnon 97]
    Flaus, J. M., Ollagnon, G.: Hybrid Flow Nets for Hybrid Processes, Modelling and Control. LNCS 1201, Springer Verlag, Berlin u. a., 1997, S. 213–227.Google Scholar
  19. [Fleischhack et al. 93]
    Fleischhack, H., Lichtblau, U., Sonnenschein, M., Wieting, R.: Abstraktion und Zeitbegriff in höheren Netzen. In: Scheschonk, G., Reisig, W. (Hrsg.): Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen. Springer Verlag, Berlin u. a., 1993, S. 59–71.Google Scholar
  20. [Genrich/Lautenbach 81]
    Genrich, H. J., Lautenbach, K.: System Modelling with High-Level Petri Nets. Theor. Comp. Science 13, 1981, S. 109–136.MathSciNetzbMATHCrossRefGoogle Scholar
  21. [German et al. 95]
    German, R., Kelling, C., Zimmermann, A., Hommel, G.: TimeNET —A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets. Performance Evaluation, 24, 1995, S. 69–87.zbMATHCrossRefGoogle Scholar
  22. [Hanisch 92]
    Hanisch, H.-M.: Petri-Netze in der Verfahrenstechnik. R. Oldenbourg Verlag, München, Wien, 1992.Google Scholar
  23. [Henzinger et al. 96]
    Henzinger, T. A., Ho, P.-H., Wong-Toi, H.: A User Guide to HYTECH. Dept. Of Computer Science, Cornell University, 1996.Google Scholar
  24. [Janhsen 98]
    Janhsen, A.: Anthropozentrische Modellierung und Spezifikation komplexer Systeme am Beispiel von Eisenbahnleitsystemen. Dissertation, TU Braunschweig Fortschritt-Berichte Reihe 8, Nr. 696, VDI Verlag, Düsseldorf, 1998.Google Scholar
  25. [Jensen 92]
    Jensen, K.: Coloured Petri Nets; Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Springer Verlag, Berlin u. a., 1992.zbMATHGoogle Scholar
  26. [Jensen 95]
    Jensen, K.: Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Springer Verlag, Berlin u. a., 1995.zbMATHGoogle Scholar
  27. [Jensen/Rozenberg 91]
    Jensen, K., Rozenberg, G. (Hrsg.): High-level Petri nets, theory and application. Springer Verlag, Berlin u. a., 1991.zbMATHGoogle Scholar
  28. [Jörns 97]
    Jöms, C.: Ein integriertes Steuerungsentwurfs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze. Dissertation, Universität Kaiserslautern, VDI-Verlag, Düsseldorf, 1997.Google Scholar
  29. [Klockmann 91]
    Klockmann, J.: Deterministische und stochastische Zeitbewertungen von Petrinetzen. Diplomarbeit, TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik, 1991.Google Scholar
  30. [König/Quäck 88]
    König, R., Quack, L.: Petrinetze in der Steuerungs- und Digitaltechnik. Oldenbourg Verlag, München u. a., 1988.Google Scholar
  31. [Kowalewski 96]
    Kowalewski, St.: Modulare diskrete Modellierung verfahrenstechnischer Anlagen zum systematischen Steuerungsentwurf. Shaker Verlag, Aachen, 1996.Google Scholar
  32. [Krogh 87]
    Krogh, B. H.: Controlled petri nets and maximally permissive feedback logic. Proceedings 25th Annual Allerton Conference, University of Illinois, Urbana, 1987, S. 317–326.Google Scholar
  33. [Lakos 95-1]
    Lakos, C.: The Object Orientation of Object Petri Nets. Workshop on Object-Oriented Programming Languages and Models of Concurrency, 16th International Conference on the Application and Theory of Petri Nets, Turin, 1995.Google Scholar
  34. [Lakos 95-2]
    Lakos, C.: From Coloured Petri Nets to Object Petri Nets. Proceedings 16th International Conference on the Application and Theory of Petri Nets, Torino, Italy, 1995, S. 278–297.Google Scholar
  35. [Larsen et al. 95]
    Larsen, K., Pettersson, P., Yi, W.: Modelchecking for real-time systems. LNCS 965, Springer Verlag, Berlin u. a., 1995.Google Scholar
  36. [Lemmer 95]
    Lemmer, K.: Diagnose diskret modellierter Systeme mit Petrinetzen. Dissertation, TU Braunschweig, Fortschritt-Berichte Reihe 8, Nr. 446, VDI Verlag, Düsseldorf, 1995.Google Scholar
  37. [Lindemann 94]
    Lindemann, C.: Stochastic Modeling using DSPNexpress. Oldenbourg Verlag, München u. a., 1994.zbMATHGoogle Scholar
  38. [Luttenberger 89]
    Luttenberger, N.: Monitoring von Multiprozessor- und Multicomputersystemen. Dissertation, Universität Erlangen-Nürnberg Ar- beitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung der Universität Erlangen-Nürnberg, Bd. 22, Nr. 7, Erlangen, 1989.Google Scholar
  39. [Luttenberger/Cramer 92]
    Luttenberger, N., Cramer, A.: Leistungsbewertung — Messung, Modellierung und Bewertung von Echtzeitsystemen: Methodik und Fallstudie. In: Schnieder, E. (Hrsg.): Petrinetze in der Automatisierungstechnik. Oldenbourg Verlag, München u. a., 1992, S. 180–209.Google Scholar
  40. [Marsan et al. 86]
    Marsan, A. M., Balbo, G. Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press, Cambridge u. a., 1986.Google Scholar
  41. [Merlin 74]
    Merlin, P.: A study of the recoverability of computer systems. Thesis, Dep. of Information and Computer Science, University California, Irvine, 1974.Google Scholar
  42. [Moldt 96]
    Moldt, D.: Höhere Petrinetze als Grundlage für Systemspezifikation. Dissertation, Universität Hamburg, 1996.Google Scholar
  43. [Moldt/Maier 97]
    Moldt, D., Maier, C.: Coloured Object Petri Nets for Complex Automation Systems. In: Schnieder, E., Abel, D. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1997, S. 324–342.Google Scholar
  44. [Molloy 81]
    Molloy, M. K.: On the Integration of Delay and Throughput Measures in Distributed Processing Models. Ph. D. Thesis, University of California, Los Angeles, 1981.Google Scholar
  45. [Nicollin et al. 92]
    Nicollin, X., Sifakis, J., Yovine, S.: Compiling real-time specifications into extended automata. IEEE, Software Engineering 18, 1992, pp. 794–804.CrossRefGoogle Scholar
  46. [Ober 98]
    Ober, B.: Modellgestützte Synthese ereignisdiskreter Steuerungen. Dissertation, TU Braunschweig, 1998.Google Scholar
  47. [Padberg 96]
    Padberg, J.: Abstract Petri Nets: Uniform Approach and Rule-Based Refinement. Dissertation, TU Berlin, Shaker Verlag, Aachen 1996.Google Scholar
  48. [Petri 62]
    Petri, C. A.: Kommunikation mit Automaten. Dissertation, TH Darmstadt, 1962.Google Scholar
  49. [Petri 96]
    Petri, C. A.: Nets, time and space. In: Theoretical Computer Science 153, 1996, S. 3–48.Google Scholar
  50. [Petri Net 97]
    High-level Petri Net Standard. Working Draft. Version 2.1, Februar 1997.Google Scholar
  51. [Quack 92]
    Quack, L.: Aspekte der Modellierung und Realisierung der Steuerung technologischer Prozesse mit Petri-Netzen. In: Schnieder, E. (Hrsg.): Petrinetze in der Automatisierungstechnik. Oldenbourg Verlag, 1992, S. 83–101.Google Scholar
  52. [Rausch 97]
    Rausch, M.: Modulare Modellbildung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme. Dissertation, Otto-vonGuericke-Universität Magdeburg, VDI-Verlag, Düsseldorf, 1997.Google Scholar
  53. [Reisig 86]
    Reisig, W.: Petri-Netze — eine Einführung. Springer Verlag, Berlin u. a., 1986.Google Scholar
  54. [Rumbaugh et al. 91]
    Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.Google Scholar
  55. [Schnieder 93]
    Schnieder, E.: Prozeßinformatik: Automatisierung mit Rechensystemen — Einführung mit Petrinetzen. Vieweg Verlag, Braunschweig u. a., 1993.Google Scholar
  56. [Schnieder 97]
    Schnieder, E.: Standardisierung beim Entwurf von Automatisierungssystemen. In: Schnieder, E., Abel, D. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1997, S. 700–720.Google Scholar
  57. [Schnieder/Abel 97]
    Schnieder, E., Abel, D. (Hrsg.): Entwurf komplexer Automatisierungssysteme. Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1997.Google Scholar
  58. [Sibertin-Blanc 94]
    Sibertin-Blanc, C.: Cooperative Nets. In: Valette, R. (Hrsg.): Application and Theory of Petri Nets, Proceedings 15`h International Conference on Theory and Application of Petri Nets, Zaragoza, Spanien, LNCS 815, Springer Verlag, Berlin u. a., 1994.Google Scholar
  59. [Specker 93]
    Specker, B.: Performability-Analyse dynamischer Systeme mit Hilfe stochastischer Petrinetze. In: Schnieder, E. (Hrsg.): Entwurf komplexer Automatisierungssysteme, Tagungsband, Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig, 1993, S. 237–250.Google Scholar
  60. [Sreenivas/Krogh 91]
    Sreenivas, R. S., Krogh, B. H.: Petri Net Based Models for Condition/Event Systems. Proceedings 1991 American Control Conference, Boston, 1991, Bd. 3, S. 2899–2904.Google Scholar
  61. [Starke 90]
    Starke, P. H.: Analyse von Petri-Netzen. Teubner Verlag, Stuttgart, 1990.Google Scholar
  62. [Van Hee/Verkoulen 91]
    Van Hee, K. M., Verkoulen, P. A. C.: Integration of a Data Model and High-Level Petri Nets. Proceedings 12th International Conference on Application and Theory of Petri Nets, Aarhus, Dänemark, 1991, S. 410–431.Google Scholar
  63. [Verkoulen 93]
    Verkoulen, P. A. C.: Integrated Information Systems Design–An Approach Based on Object-Oriented Concepts and Petri Nets. Dissertation, Technische Universität Eindhoven, 1993.zbMATHGoogle Scholar
  64. [Winskel 87]
    Winskel, G.: Petri nets, algebras, morphisms and compositionality. Information and Computation, 72, pp. 197–238, 1987.MathSciNetzbMATHCrossRefGoogle Scholar
  65. [Zimmermann 97]
    Zimmermann, A.: Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen. Dissertation, TU Berlin, 1997.Google Scholar

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 1999

Authors and Affiliations

  • Eckehard Schnieder
    • 1
  1. 1.BraunschweigDeutschland

Personalised recommendations