Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Constructs for modeling information systems with Petri nets

  • Submitted Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1992 (ICATPN 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 616))

Included in the following conference series:

  • 1414 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. B. Baumgarten. Petri-Netze: Grundlagen und Anwendungen. BI-Wissenschafts-verlag, Mannheim Wien Zürich, 1990. 369 pages.

    Google Scholar 

  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. 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. P. P.-S. Chen. The entity-relationship model — toward a unified view of data. ACM Trans. Database Syst., 1(1):9–36, 1976.

    Article  Google Scholar 

  5. A. Dileva and P. Giolito. Information system dynamics representation in production environments. Data & Knowledge Engineering, 3:149–161, 1988.

    Google Scholar 

  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. 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. 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. C. A. Heuser. Datenbankentwurf auf der Grundlage von Systembeziehungen. GMD-Bericht 165. R. Oldenbourg Verlag, München, 1987. 160 pages.

    Google Scholar 

  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. 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. K. Jensen and G. Rozenberg, editors. High-level Petri Nets. Theory and Application. Springer-Verlag, Berlin Heidelberg, 1991. 724 pages.

    Google Scholar 

  13. J. L. Peterson. Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs, NJ, 1981. 290 pages.

    Google Scholar 

  14. W. Reisig. Petri Nets. An Introduction. Springer-Verlag, Berlin Heidelberg, 1985. 161 pages.

    Google Scholar 

  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. 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. 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. 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. 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. 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. P. H. Starke. Analyse von Petri-Netz-Modellen. Teubner, Stuttgart, 1990. 253 pages.

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Instituto de Informática, Universidade Federal do Rio Grande do Sul, Caixa Postal 15064, BR-91501, Porto Alegre, Brazil

    Carlos A. Heuser

  2. Gesellschaft für Mathematik und Datenverarbeitung (GMD)-I1, Postfach 1316, W-5205, Sankt Augustin, Germany

    Gernot Richter

Authors
  1. Carlos A. Heuser
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gernot Richter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

K. Jensen

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heuser, C.A., Richter, G. (1992). Constructs for modeling information systems with Petri nets. In: Jensen, K. (eds) Application and Theory of Petri Nets 1992. ICATPN 1992. Lecture Notes in Computer Science, vol 616. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55676-1_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-55676-1_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55676-3

  • Online ISBN: 978-3-540-47270-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation