Tools for modelling with Petri-net like nets

  • Gisbert Dittrich
Systems Theory And CAST
Part of the Lecture Notes in Computer Science book series (LNCS, volume 410)


We want to apply Petrinet descriptions in different variations to the modelling of functional requirements and designs of complex systems. Therefore in this paper we suggest a methodology how to do that. Then we scetch the requirements to tools to support this methodology. The main part describes an editor, which supports the hierarchical description of channel-agency nets and a simulator for hierarchically represented condition-event nets.


Functional Requirement Intended System Apple Macintosh Precise Semantic Hierarchical Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. Brau 80.
    Brauer, W. (Edt.): Net Theory and Applications LNCS Vol. 84, Springer Verlag 1980Google Scholar
  2. BrRR 87a.
    Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Central Models and Their Properties LNCS Vol. 254, Springer Verlag 1987Google Scholar
  3. BrRR 87b.
    Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Applications and Relationships to Other Models of Concurrency LNCS Vol. 255, Springer Verlag 1987Google Scholar
  4. DiEv 89.
    Dittrich, G.-Evertz-Jägers, B.: Der Kanal-Instanz-Netz Editor KINED. Ein Tool zur Unterstützung einer methodischen Systemmodellierung mit Hilfe von hierarchisch dargestellten Kanal-Instanz-Netzen. Forschungsbericht des Fachbereichs Informatik der Universität Dortmund, 1989Google Scholar
  5. Ditt 85.
    Dittrich, G.: Petrinetze, Skript zur SPV WS 84/85 Interne Berichte und Skripten an der Abtlg Informatik der Uni Dortmund, 1985Google Scholar
  6. Ditt 88.
    Dittrich, G.: Specification with Nets Written Version of a Talk, given at the workshop on CAST, Linz (Austria), 1988Google Scholar
  7. Ever 88.
    Evertz-Jägers, B.: Objektorientierte Entwicklung eines Editors zur Erstellung hierarchischer K/I-Netze Diplomarbeit am FB Informatik, Universität Dortmund, 1988Google Scholar
  8. Fabi 87.
    Fabian, D.: Ein Tool zur Analyse von Petrinetzen, speziell S/T-Netzen Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  9. PetS 89.
    Dittrich, G.-Fehling, R. (Veranstalter): Endbericht der Projektgruppe PetSi Interne Berichte an der Abt. Informatik der UniDo, Dortmund 1989Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Gisbert Dittrich
    • 1
  1. 1.Dept. of Computer ScienceUniversity of DortmundDortmund 50Germany

Personalised recommendations