Studienreihe Informatik

Petrinetze

Eine Einführung

Authors: Reisig, Wolfgang

Free Preview

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-642-71275-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $64.99
price for USA in USD
  • ISBN 978-3-540-16622-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this Textbook

1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.

Table of contents (10 chapters)

Table of contents (10 chapters)

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-642-71275-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $64.99
price for USA in USD
  • ISBN 978-3-540-16622-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Petrinetze
Book Subtitle
Eine Einführung
Authors
Series Title
Studienreihe Informatik
Copyright
1986
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-71275-3
DOI
10.1007/978-3-642-71275-3
Softcover ISBN
978-3-540-16622-1
Series ISSN
1431-8792
Edition Number
2
Number of Pages
IX, 196
Additional Information
Ursprünglich monographisch erschienen
Topics