Skip to main content

Systemeigenschaften

  • Chapter
Petrinetze

Part of the book series: Studienreihe Informatik ((STUDIENREIHE))

  • 77 Accesses

Zusammenfassung

In den beiden letzten Kapiteln wurde diskutiert, wie B/E-Systeme aussehen und wie ihr dynamisches Verhalten erklärt und analysiert werden kann. Wir beschäftigen uns nun mit Eigenschaften solcher Systeme und werden sehen, wie über solche Eigenschaften mit Mitteln des Netzkalküls selbst gesprochen werden kann.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.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.

Literatur zu Kapitel 4

  1. C.A. Petri: Concepts of Net Theory Mathematical Foundations of Computer Science 1973, High Tatra; Mathematics Institute of Slovak Academy of Science (1973), S. 137–146

    Google Scholar 

  2. C. André, P. Armand, F. Boeri: Synchronic Relations and Applications in Parallel Computation Digital Processes 5 (1979), S. 99–113

    MATH  MathSciNet  Google Scholar 

  3. U. Goltz, W. Reisig, P.S. Thiagarajan: Two Alternative Definitions of Synchronic Distance in C. Girault, W. Reisig (Hrsg.): Application and Theory of Petri Nets Informatik-Fachberichte 52, Springer-Verlag (1982)

    Google Scholar 

  4. U. Goltz, W. Reisig: Weighted Synchronic Distances in C. Girault, W. Reisig (Hrsg.): Application and Theory of Petri Nets Informatik-Fachberichte 52, Springer-Verlag (1982)

    Google Scholar 

  5. A. Pagnoni: A Fair Competition Between Two or More Partners in C. Girault, W. Reisig (Hrsg.): Application and Theory of Petri Nets Informatik-Fachberichte 52, Springer-Verlag (1982).

    Google Scholar 

  6. H.J. Genrich, G. Thieler-Mevissen: The Calculus of Facts Mathematical Foundations of Computer Science 1976, Lecture Notes in Computer Science 45, Springer-Verlag (1976), S. 588–595

    Google Scholar 

  7. G. Thieler-Mevissen: The Petri Net Calculus of Predicate Logic Interner Bericht ISF-76–09 (1976), Gesellschaft für Mathematik und Datenverarbeitung, Bonn.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Reisig, W. (1986). Systemeigenschaften. In: Petrinetze. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71275-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71275-3_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16622-1

  • Online ISBN: 978-3-642-71275-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics