Skip to main content
SpringerLink
Log in

Predicate/Transition Nets

  • Conference paper
Petri Nets: Central Models and Their Properties (ACPN 1986)

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

Included in the following conference series:

Abstract

The paper deals with conceptual, mathematical and practical aspects of developing a net theoretic system model. The model presented is based on common techniques of modelling static systems as structured sets of individuals (relational structures). These structures are ‘dynamised’ by allowing some relations between individuals to be changed by the processes of the modelled system.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Darlington, J. L.: A Net Based Theorem Prover for Program Verification and Synthesis. Gesellschaft für Mathematik und Datenverarbeitung, GMD-IST Internal Report 3/79 (1979)

    Google Scholar 

  2. Genrich, H. J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. Theor. Comp. Science 13 (1981) 109–136

    Article  MathSciNet  MATH  Google Scholar 

  3. Genrich, H. J.; Lautenbach, K.: S-Invariance in Predicate/Transition Nets. Informatik-Fachberichte 66: Application and Theory of Pétri Nets. — Selected Papers from the Third European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 / Pagnoni, A.; Rozenberg, G. (eds.) — Springer-Verlag, pp. 98-111 (1983)

    Google Scholar 

  4. Genrich, H. J.; Thieler-Mevissen, G.: The Calculus of Facts. Mathematical Foundations of Computer Science 1976 / Mazurkiewicz, A. (ed.) — Berlin, Heidelberg, New York: Springer-Verlag, pp. 588–595 (1976)

    Google Scholar 

  5. Gerhards, B.: S-Invarianten in Prädikat/Transitionsnetzen. Diplomarbeit, Universität Bonn (1982) (in German)

    Google Scholar 

  6. Halmos, P. R.: Naive Set Theory. Springer-Verlag (1974)

    Google Scholar 

  7. Holt, A. W.; Commoner, F.; Even, S.; Pnueli, A.: Marked Directed Graphs. J. Comp. Sys. Sc. 5 (1971) 511–523

    Article  MathSciNet  MATH  Google Scholar 

  8. Hughes, G. E.; Cresswell, M. J.: An Introduction to Modal Logic. Methuen (1982)

    Google Scholar 

  9. Jensen, K.: Coloured Petri Nets and the Invariant Method. Theor. Comp. Science 14 (1981) 317–336

    Article  MATH  Google Scholar 

  10. Jensen, K.: Coloured Petri Nets. In this volume.

    Google Scholar 

  11. Kujansuu, R.; Lindqvist, M.: Efficient Algorithms for Computing S-invariants for Predicate/Transition Nets. Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets. — Aarhus University (1984) pp. 156-173

    Google Scholar 

  12. Lang, S.: Algebra. Addison-Wesley Publ. Comp. (1965)

    Google Scholar 

  13. Lautenbach, K.: Linear Algebraic Techniques for Place/Transition Nets. In this volume.

    Google Scholar 

  14. Lautenbach, K.; Pagnoni, A.: Invariance and Duality in Predicate/Transition Nets and in Coloured Nets. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Arbeitspapiere der GMD Nr. 132 (Feb., 1985)

    Google Scholar 

  15. Mevissen, H.: Algebraische Bestimmung von S-Invarianten in Prädikat/Transitions-Netzen. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, ISF-Report 81. 02 (März, 1985) (In German)

    Google Scholar 

  16. Petri, C. A.: Interpretations of Net Theory. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Technical Report ISF 75-07, 2nd ed. (Dec, 1976)

    Google Scholar 

  17. Reisig, W.: Petri Nets. Springer-Verlag (1985)

    Google Scholar 

  18. Reisig, W.: Petri Nets with Individual Tokens. Theor. Comp. Science 41 (1985) 185–213

    Article  MathSciNet  MATH  Google Scholar 

  19. Schoenfield, J. R.: Mathematical Logic. Addison-Wesley Publ. Comp. (1967)

    Google Scholar 

  20. Schwarz, F.: A REDUCE Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations. Computer Physics Communications 39,2 (1986) 285–296

    Article  Google Scholar 

  21. Thiagarajan, P. S.: Elementary Net Systems. In this volume.

    Google Scholar 

  22. Thieler-Mevissen, G.: The Petri Net Calculus of Predicate Logic. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Technical Report ISF 76-09, 2nd ed. (May, 1977)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für methodische Grundlagen, Gesellschaft für Mathematik und Datenverarbeitung, 5205, St. Augustin 1, Fed. Rep. Germany

    Hartmann J. Genrich

Authors
  1. Hartmann J. Genrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, 8000, München 2, Federal Republic of Germany

    W. Brauer

  2. Institut für Methodische Grundlagen, Gesellschaft für Mathematik und Datenverarbeitung mbH, Postfach 1240, 5205, St. Augustin 1, Federal Republic of Germany

    W. Reisig

  3. Subfaculteit Wiskunde en Informatica, Rijksuniversiteit te Leiden, Postbus 9512, 2300 RA, Leiden, The Netherlands

    G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Genrich, H.J. (1987). Predicate/Transition Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Central Models and Their Properties. ACPN 1986. Lecture Notes in Computer Science, vol 254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-47919-2_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-47919-2_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17905-4

  • Online ISBN: 978-3-540-47919-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation