Abstract
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.
Preview
Unable to display preview. Download preview PDF.
6. References
Brauer, W. (Edt.): Net Theory and Applications LNCS Vol. 84, Springer Verlag 1980
Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Central Models and Their Properties LNCS Vol. 254, Springer Verlag 1987
Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Applications and Relationships to Other Models of Concurrency LNCS Vol. 255, Springer Verlag 1987
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, 1989
Dittrich, G.: Petrinetze, Skript zur SPV WS 84/85 Interne Berichte und Skripten an der Abtlg Informatik der Uni Dortmund, 1985
Dittrich, G.: Specification with Nets Written Version of a Talk, given at the workshop on CAST, Linz (Austria), 1988
Evertz-Jägers, B.: Objektorientierte Entwicklung eines Editors zur Erstellung hierarchischer K/I-Netze Diplomarbeit am FB Informatik, Universität Dortmund, 1988
Fabian, D.: Ein Tool zur Analyse von Petrinetzen, speziell S/T-Netzen Diplomarbeit am FB Informatik, Universität Dortmund, 1987
Dittrich, G.-Fehling, R. (Veranstalter): Endbericht der Projektgruppe PetSi Interne Berichte an der Abt. Informatik der UniDo, Dortmund 1989
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dittrich, G. (1990). Tools for modelling with Petri-net like 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_17
Download citation
DOI: https://doi.org/10.1007/3-540-52215-8_17
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