Skip to main content

Das Petri-Netz-CASE-System PENECA in der Ausbildung

  • Conference paper
PC-Einsatz in der Hochschulausbildung

Part of the book series: Reihe ((MIKROCOMPUTER,volume 3))

  • 92 Accesses

Zusammenfassung

Petri-Netze [8] ermöglichen die grafische Beschreibung, Modellierung und den Entwurf von Steuerstrukturen in verschiedenen technischen und teilweise auch nichttechnischen Bereichen. Sie gehen auf das Grundkonzept Bedingungen > Ereignis -> Folgebedingungen zurück und ermöglichen vor allem die effektive Beschreibung von Parallelität. Dadurch und durch den für Petri-Netze erschlossenen Zugang zur formalen Analyse der entworfenen Steuerstrukturen sind sie für viele Anwendungen anderen Beschreibungsmitteln überlegen. Die Anwendung von Netzen wird effektiv durch Softwaretools unterstützt [7]. Für komplexere Anwendungen wurden Höhere Netze (high level nets) bzw. Netze mit individuellen Marken entwickelt.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Berger, H: Steuerungen programmieren in STEP 5. München: 1986, Siemens AG, Abt. Verlag

    Google Scholar 

  2. Budach, A.: Hardwareimplementierung von Petri-Netzen. Ilmenau: 1991, Technische Hochschule, WB Computertechnik, Diplomarbeit

    Google Scholar 

  3. Fengler, W.; Ptacek, L.; Sörgel, U.: Kurzbeschreibung des Petri-Netz-Entwurfssystem PENECA. TH Ilmenau, Sektion TBK, WB Computertechnik: 1990

    Google Scholar 

  4. Fengler, W.; Philippow, I: Entwurf industrieller Computersysteme. Carl-Hanser-Verlag, München: 1991

    Google Scholar 

  5. Fengler, W.; Wendt, A.; Unger, H: Anleitungen zum Praktikumskomplex „Technische Applikation von Petri-Netzen“. Ilmenau: 1991, Technische Hochschule, Fakultät für Automatik und Informatik

    Google Scholar 

  6. Fengler, W.: Petri-Netz-Entwurfssystem PENECA - Dokumentation zur Schul- und Demoversion. Ilmenau: 1991

    Google Scholar 

  7. Leszak, M.; Eggert, H.: Petri-Netz-Methoden und -werkzeuge. SPRINGER, Berlin: 1989

    Book  Google Scholar 

  8. Petri, C.A.: Kommunikation mit Automaten. Darmstadt: 1961, Technische Hochschule, Dissertation

    Google Scholar 

  9. Rokyta, P.: Erweiterung des Petri-Netz-Entwurfssystems PENECA auf gefärbte Netze. Ilmenau: 1991, Technische Hochschule, WB Computertechnik, Forschungsbericht

    Google Scholar 

  10. Sörgel, U.: Wissensbasierte Debugsysteme. Ilmenau: 1990, Technische Hochschule, WB Computertechnik, Diplomarbeit

    Google Scholar 

  11. Starke, P.H.: Der NET-Analysator PAN. Berlin: 1989, PSI GmbH, Geschäftsbereich Software Engineering und Simulation

    Google Scholar 

  12. Unger, H: Die PENECA-Implementationskomponente PNI. Ilmenau: 1990, Technische Hochschule, WB Computertechnik, Forschungsbericht

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fengler, W., Wendt, A. (1992). Das Petri-Netz-CASE-System PENECA in der Ausbildung. In: Dette, K. (eds) PC-Einsatz in der Hochschulausbildung. Reihe Mikrocomputer-Forum für Bildung und Wissenschaft , vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84839-1_82

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-84839-1_82

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55878-1

  • Online ISBN: 978-3-642-84839-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics