Abstract
In order to model complex systems it is indispensable to structure the modelings. The mechanism of abstraction as well as the usage of views is very helpful for structuring. In this paper I will discuss these aspects in the context of Petri systems in order to get fundamental definitions. It turns out, that with respect to many different definitions of Petri systems only a “generic definition” is possible. To get final definitions for concrete types of Petri systems it requires much further work.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fehling, R.: Hierarchische Petrinetze. Verlag Dr. Kovac, Hamburg (1992) (in german)
Fehling, R.: A Concept of Hierarchical Petri Nets with Building Blocks. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 148–168. Springer, Heidelberg (1993)
Jensen, K.: Coloured Petri Nets. EATCS Monographs on TCS. Springer, Berlin (1992)
Dittrich, G.: Strukturierte Petrinetze (1998) (in German), http://lrb.cs.uni-dortmund.de/Lehre/Petri2_SS98
Dittrich, G.: Modeling of Complex Systems Using Hierarchically Represented Petri Nets. In: Procs. of IEEE SMC 1995, Vancouver, pp. 2694–2699 (1995)
Dittrich, G.: Layering as Means for Structuring Petri Nets. In: Procs. of IEEE SMC 1996, Bejing, pp. 2294–2298 (1996)
Dittrich, G.: Towards a Generic Definition of Petri Systems Supporting Abstraction and Views, in: Procs. of IEEE SMC ´99, Tokyo, p. I-884 – I-887(1999)
Dittrich, G.: Tools for Modelling with Petri-Net like Nets. In: Pichler, F., Moreno-Díaz, R. (eds.) EUROCAST 1989. LNCS, vol. 410. Springer, Heidelberg (1990)
Reisig, W.: Petrinetze – Eine Einführung, 2nd edn. Springer, Hidleberg (1986) (in German)
Dittrich, G.: Petrinetze - Eine Einführung (1999) (in German), http://lrb.cs.uni-dortmund.de/Lehre/Petri/
Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol. 254. Springer, Heidelberg (1987)
Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)
Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1492. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dittrich, G. (2000). AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?. In: Kopacek, P., Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST’99. EUROCAST 1999. Lecture Notes in Computer Science, vol 1798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720123_6
Download citation
DOI: https://doi.org/10.1007/10720123_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67822-9
Online ISBN: 978-3-540-44931-7
eBook Packages: Springer Book Archive