Abstract
High level Petri nets have tokens with values, traditionally called colors, and transitions that produce tokens in a functional way, using the consumed tokens as arguments of the function application. Large nets should be designed in a topdown approach and therefore we introduce a hierarchical net model which combines a data flow diagram technique with a high level Petri net model. We use Z to specify this net model, which is in fact the metamodel for specific systems. Specific models we specify partly by diagrams and partly in Z. We give some advantages and disadvantages of using Z in this way. Finally we show how to specify systems by means of an example.
Preview
Unable to display preview. Download preview PDF.
References
W.M.P.van der Alst and A.W.Waltmans, Modeling Logistic Systems with ExSpect, in: H.G.Sol, K.M.van Hee (eds.), Dynamic Modeling of Information Systems, North-Holland, 1991.
K.Albrecht, K.Jensen and R.M.Shapiro, Design/CPN: A tool package supporting the use of Colored Petri Nets, Petri Net Newsletter 32, 1989.
M.J.van Diepen and K.M.van Hee, A Formal Semantics for Z and the link between Z and the Relational Algebra, in: D.Bjørner, C.A.R.Hoare, H.Langmaack (eds.), VDM'90, VDM and Z — Formal Methods in Software Development, Lecture Notes in Computer Science 428, Springer Verlag, 1990.
R.Di Giovanni and P.L.Iachini, HOOD and Z for the Development of Complex Software Systems, in: D.Bjørner, C.A.R.Hoare, H.Langmaack (eds.), VDM'90, VDM and Z — Formal Methods in Software Development, Lecture Notes in Computer Science 428, Springer Verlag, 1990.
I.Hayes (ed.), Specification Case Studies, Prentice Hall, 1987.
K.M.van Hee, L.J.Somers and M.Voorhoeve, Executable Specifications for Distributed Information Systems, in: E.D.Falkenberg, P.Lindgreen (eds.), Information system concepts: an in-depth analysis, North-Holland, 1989.
K.M.van Hee and P.A.C. Verkoulen, Integration of a Data Model and Petri Nets, in: Proceedings 12th International Conference on Application and Theory of Petri Nets, Ã…rhus, Denmark, 1991.
K.Jensen, Colored Petri Nets: A High Level Language for System Design and Analysis, in: G. Rozenberg (ed), Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer Verlag, 1991.
W.Reisig, Petri Nets in Software Engineering, in: W.Brauer, W.Reisig, G.Rozenberg (eds.), Petri Nets: Applications and Relationships to other Models of Concurrency, in: Lecture Notes in Computer Science 255, Springer Verlag, 1987.
J.M.Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989.
E.Yourdon, Modern structured analysis, Prentice-Hall 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Hee, K.M., Somers, L.J., Voorhoeve, M. (1991). Z and high level Petri nets. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_14
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54834-8
Online ISBN: 978-3-540-46449-5
eBook Packages: Springer Book Archive