Advertisement

Z and high level Petri nets

  • K. M. van Hee
  • L. J. Somers
  • M. Voorhoeve
Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)

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.

Unable to display preview. Download preview PDF.

References

  1. [Aalst 90]
    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.Google Scholar
  2. [Albrecht 89]
    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.Google Scholar
  3. [Diepen 90]
    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.Google Scholar
  4. [Giovanni 90]
    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.Google Scholar
  5. [Hayes 87]
    I.Hayes (ed.), Specification Case Studies, Prentice Hall, 1987.Google Scholar
  6. [Hee 89]
    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.Google Scholar
  7. [Hee 91]
    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.Google Scholar
  8. [Jensen 91]
    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.Google Scholar
  9. [Reisig 87]
    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.Google Scholar
  10. [Spivey 89]
    J.M.Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989.Google Scholar
  11. [Yourdon 89]
    E.Yourdon, Modern structured analysis, Prentice-Hall 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • K. M. van Hee
    • 1
  • L. J. Somers
    • 1
  • M. Voorhoeve
    • 1
  1. 1.Department of Mathematics and Computing ScienceEindhoven University of TechnologyMB EindhovenNetherlands

Personalised recommendations