40% off Popular Science books & eBooks—Save on general interest titles now!

Informatik-Fachberichte

Petri-Netz-Methoden und -Werkzeuge

Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Authors: Leszak, Marek, Eggert, Horst

Free Preview

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-642-74363-4
  • 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-50642-3
  • 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 book

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER (PRedicate/Transition Net Oriented VERification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit höheren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu ermöglichen.

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-74363-4
  • 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-50642-3
  • 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...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Petri-Netz-Methoden und -Werkzeuge
Book Subtitle
Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Authors
Series Title
Informatik-Fachberichte
Series Volume
197
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-74363-4
DOI
10.1007/978-3-642-74363-4
Softcover ISBN
978-3-540-50642-3
Series ISSN
0343-3005
Edition Number
1
Number of Pages
XII, 254
Topics