Advertisement

Constructs for modeling information systems with Petri nets

  • Carlos A. Heuser
  • Gernot Richter
Submitted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 616)

Abstract

This paper is concerned with elementary and high-level Petri nets (coloured Petri nets and predicate/transition nets) and their utility for conceptual modeling of information systems. Particular features of existing net classes are discussed and additional net constructs are proposed for that purpose. Adequate conceptual models, i.e., models which reflect an intended view of an information system without any strange or artifical elements are best obtained if the following features are available to the modeler: (i) places have finite capacities (bounded places), (ii) arc expressions denote sets of variable cardinality, (iii) exclusive and shared use of side-conditions can be specified, (iv) terms denoting the set of all entities of a current marking or a specified subset thereof can be used in transition expressions, (v) static properties can be specified in state-oriented terms and impose restrictions on the dynamic properties specified in transition-oriented terms. The paper presents examples of each one of these desirables features and discusses them against the existing high-level Petri net classes or shows how they can be provided without resorting to so-called extensions.

Keywords

conceptual modeling information system high-level Petri net capacity multiplicity side-condition inhibitor arc dead transition 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    B. Baumgarten. Petri-Netze: Grundlagen und Anwendungen. BI-Wissenschafts-verlag, Mannheim Wien Zürich, 1990. 369 pages.Google Scholar
  2. [2]
    G. Bruno and A. Elia. Extending the entity-relationship approach for dynamic modeling purposes. In S. Spaccapietra, editor, Entity-Relationship Approach, pages 169–181. North-Holland, Amsterdam, 1987.Google Scholar
  3. [3]
    H. J. Burkhardt, P. Ochsenschläger, and R. Prinoth. Product Nets. Number 165 in GMD-Studien. GMD, Sankt Augustin, Germany, September 1989. 80 pages.Google Scholar
  4. [4]
    P. P.-S. Chen. The entity-relationship model — toward a unified view of data. ACM Trans. Database Syst., 1(1):9–36, 1976.CrossRefGoogle Scholar
  5. [5]
    A. Dileva and P. Giolito. Information system dynamics representation in production environments. Data & Knowledge Engineering, 3:149–161, 1988.Google Scholar
  6. [6]
    R. Durchholz. Another note on side-conditions. Petri Net Newsletter, (22): 13–16, October 1985. (published by GI-SIG Petri Nets and Related System Models).Google Scholar
  7. [7]
    J. Eder, G. Kappel, A. M. Tjoa, and A. Wagner. BIER — the behaviour integrated entity relationship approach. In S. Spaccapietra, editor, Entity-Relationship Approach, pages 147–166. North-Holland, Amsterdam, 1987.Google Scholar
  8. [8]
    H. J. Genrich. Predicate/transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Part I, volume 254 of Lecture Notes in Computer Science, pages 207–247. Springer-Verlag, Berlin Heidelberg, 1987.Google Scholar
  9. [9]
    C. A. Heuser. Datenbankentwurf auf der Grundlage von Systembeziehungen. GMD-Bericht 165. R. Oldenbourg Verlag, München, 1987. 160 pages.Google Scholar
  10. [10]
    C. A. Heuser and G. Richter. On the relationship between conceptual schemata and integrity constraints on databases. In T. B. Steel and R. Meersman, editors, Database Semantics (DS-1), pages 27–39. North-Holland, Amsterdam, 1986.Google Scholar
  11. [11]
    K. Jensen. Coloured Petri nets: A high level language for system design and analysis. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 342–416. Springer-Verlag, Berlin Heidelberg, 1991. 515 pages.Google Scholar
  12. [12]
    K. Jensen and G. Rozenberg, editors. High-level Petri Nets. Theory and Application. Springer-Verlag, Berlin Heidelberg, 1991. 724 pages.Google Scholar
  13. [13]
    J. L. Peterson. Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs, NJ, 1981. 290 pages.Google Scholar
  14. [14]
    W. Reisig. Petri Nets. An Introduction. Springer-Verlag, Berlin Heidelberg, 1985. 161 pages.Google Scholar
  15. [15]
    G. Richter. A note on side-conditions and inhibitor arcs. Petri Net Newsletter, (21):29–37, June 1985. (published by GI-SIG Petri Nets and Related System Models).Google Scholar
  16. [16]
    G. Richter and R. Durchholz. IML-inscribed high-level Petri nets. In T. W. Olle, H. G. Sol, and A. A. Verrijn-Stuart, editors, Information Systems Design Methodologies: A Comparative Review, pages 335–368. North-Holland, Amsterdam, 1982.Google Scholar
  17. [17]
    H. Sakai. A method for entity-relationship behavior modeling. In C. Davis, P. Jajodia, and R. Yeh, editors, Entity-Relationship approach to software engineering, pages 111–129. North-Holland, Amsterdam, 1983.Google Scholar
  18. [18]
    C. Sibertin-Blanc. High level Petri nets with data structure. In Papers presented at the 6th European Workshop on Applications and Theory of Petri Nets, pages 141–170, Espoo, Finland, June 1985.Google Scholar
  19. [19]
    E. Smith and W. Reisig. The semantics of a net is a net. an exercise in General Net Theory. In K. Voss, H. J. Genrich, and G. Rozenberg, editors, Concurrency and Nets. Advances in Petri Nets, pages 461–479. Springer-Verlag, Berlin Heidelberg, 1987.Google Scholar
  20. [20]
    A. Sølvberg and C. H. Kung. On structural and behavioral modelling of reality. In T. B. Steel and R. Meersman, editors, Database Semantics (DS-1), pages 205–221. North-Holland, Amsterdam, 1986.Google Scholar
  21. [21]
    P. H. Starke. Analyse von Petri-Netz-Modellen. Teubner, Stuttgart, 1990. 253 pages.Google Scholar
  22. [22]
    J. J. van Griethuysen, editor. Concepts and Terminology for the Conceptual Schema and the Information Base. International Organization for Standardization (ISO), ANSI, Secretariat ISO/TC97/SC5, New York, 1982. Publication Number ISO/TC97/SC5-N695.Google Scholar
  23. [23]
    K. Voss. Nets in data bases. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency. Advances in Petri Nets 1986, Part II, volume 255 of Lecture Notes in Computer Science, pages 97–134. Springer-Verlag, Berlin Heidelberg, 1987. 480 pages.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Carlos A. Heuser
    • 1
  • Gernot Richter
    • 2
  1. 1.Instituto de InformáticaUniversidade Federal do Rio Grande do SulPorto AlegreBrazil
  2. 2.Gesellschaft für Mathematik und Datenverarbeitung (GMD)-I1Sankt AugustinGermany

Personalised recommendations