Advertisement

Eine Klassifikation Von Spezifikations- und Analysemethoden frür Petri-Netze

Chapter
  • 36 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 197)

Zusammenfassung

Netzspezifikation ist eine Spezifikation mit Hilfe eines Petri-Netzes. Im engeren Sinne ist damit ein Entwurfsobjekt gemeint, das im Rahmen des Entwurfsprozesses eines Systems, der — ausgehend von einer informellen Anforderungs-Spezifikation — in einem (Petri-)Netz resultiert, welches einen Teilentwurf des Gesamtsystems darstellt. Damit verwandt ist der Begriff “Netzmodellierung“.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  1. 1.Philips Kommunikations Industrie AGNürnberg 10Germany
  2. 2.Institut für Datenverarbeitung in der Technick (IDT)Kernforschungszentrum Karlsruhe GmbHKarlsruhe 1Germany

Personalised recommendations