Skip to main content
SpringerLink
Log in

Specification with nets

Report on activities in connection with "requirements capture with nets"

  • General CAST Methodology
  • Conference paper
  • First Online:
Book cover Computer Aided Systems Theory — EUROCAST '89 (EUROCAST 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 410))

Included in the following conference series:

Abstract

To specify functional requirements of large-scale systems we apply some sort of hierarchically represented Petri nets. Here will be given a survey on our activities in recent years in order to contribute to theory, development of methodology and tools of this topic. A continuation on the development of methodology and tools can be found in [Ditt 89].

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. Aigner, H.: RAPPS-Rapid Prototyper für formale Petrinetz-Spezifikationen Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  2. Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Central Models and Their Properties LNCS Vol. 254, Springer Verlag 1987

    Google Scholar 

  3. Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Applications and Relationships to Other Models of Concurrency LNCS Vol. 255, Springer Verlag 1987

    Google Scholar 

  4. Dederichs, F.: Zur Systematik netzbasierter Systeme Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  5. Dittrich, G.-Evertz-Jägers, B.: Der Kanal-Instanz-Netz Editor KINED Forschungsbericht Nr. 308 des Fachbereichs Informatik, Universität Dortmund, 1989

    Google Scholar 

  6. Dittrich, G.: Tools for Modelling with Petri-Net like Nets Proc. of the Intl. Workshop EUROCAST '89, this volume of LNCS

    Google Scholar 

  7. Evertz-Jägers, B.: Objektorientierte Entwicklung eines Editors zur Erstellung hierarchischer K/I-Netze Diplomarbeit am FB Informatik, Universität Dortmund, 1988

    Google Scholar 

  8. Fabian, D.: Ein Tool zur Analyse von Petrinetzen, speziell S/T-Netzen Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  9. Fangmeier, W.: Beiträge zur Definition und Diskussion von Petrinetzhomomorphismen Diplomarbeit am FB Informatik, Universität Dortmund, 1986

    Google Scholar 

  10. Grote, M.: CASSS-Computer-Aided Software-Specification with SADT Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  11. Hammerhofer, M.: Beiträge zu Timed Petri Netzen Diplomarbeit am FB Informatik, Universität Dortmund, 1988

    Google Scholar 

  12. Kühnel, B.-Partsch, H.-Reinshagen, K.P: Requirements Engineering, Versuch einer Begriffsklärung Informatikspektrum 10, 6, 12.87, p.334–335

    Google Scholar 

  13. Kumpmann, T.: CSP-ähnliche Petri-Netze-Konstruktion und Klassifizierung Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  14. Leufke, A.-Wolberg, D.: Bausteine für Petri-Netze-Konzept und Einsatz Diplomarbeit am FB Informatik, Universität Dortmund, 1989

    Google Scholar 

  15. Maryniak, A: Petri-Netze: Allgemeine Begriffsklärung und anwendungsorientierte Einführung in die Modellierung. Diplomarbeit am FB Informatik, Universität Dortmund, 1988

    Google Scholar 

  16. Mesewinkel, U.: Pr/T-Systembausteine für die Modellierung der Interprozeßkommunikation in verteilten Systemen. Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  17. Dittrich, G.-Szwillus, G.(Edts): PETE-Ein Petrinetz-Editor Abschlußbericht der Projektgruppe PETE Interne Berichte des FB Informatik, Dortmund 1987

    Google Scholar 

  18. Dittrich, G.-Fehling, R. (Edts): Endbericht der Projektgruppe PetSi Interne Berichte des FB Informatik der UniDo, Dortmund 1989

    Google Scholar 

  19. Pfeiffer, V.: Beiträge zur strukturellen Analyse parametrisierter Petri-Netze Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  20. Reisig, W.: Systementwurf mit Petrinetzen, Springer 1985

    Google Scholar 

  21. Schmenner, M.: Entwurf und Implementierung eines Programms zur Überprüfung der syntaktischen Korrektheit von Beschriftungen verschiedener PN-Typen. Diplomarbeit am FB Informatik, Universität Dortmund, 1987

    Google Scholar 

  22. Reck, M.: Von informellen zu formalen Spezifikationen durch Petri-Netze und Abstrakte Datentypen. Diplomarbeit am FB Informatik, Universität Dortmund, 1988

    Google Scholar 

  23. Rüping, A.: Beiträge zur Methodik hierarchischer Petrinetze. Ein Konzept für eine hierarchiebezogene Modellierung mit interpretierten Netzen auf der Basis von Netzmorphismen Diplomarbeit am FB Informatik, Universität Dortmund, 1988

    Google Scholar 

  24. Dittrich, G.-Eising, G.(Edts.): Software für Materialflußsysteme. Abschlußbericht der Projektgruppe SOMAT, Interne Berichte des FB Informatik, Universität Dortmund, 1986

    Google Scholar 

  25. Viethen, R.: Petri-Netze: Methodikansätze und anwendungsorientierte Einführung in die Modellierung. Diplomarbeit am FB Informatik, Universität Dortmund, 1988

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Dortmund, Postfach 500 500, D - 4600, Dortmund 50, Germany

    Gisbert Dittrich

Authors
  1. Gisbert Dittrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

F. Pichler R. Moreno-Diaz

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dittrich, G. (1990). Specification with nets. In: Pichler, F., Moreno-Diaz, R. (eds) Computer Aided Systems Theory — EUROCAST '89. EUROCAST 1989. Lecture Notes in Computer Science, vol 410. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52215-8_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-52215-8_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52215-7

  • Online ISBN: 978-3-540-46932-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation