Advertisement

Funktionalität und Benutzeroberfläche des Petri-Netz-Werkzeuges ‘Prover‘

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

Zusammenfassung

Im folgenden werden Architektur und Funktionsumfang des Software-Werkzeuges PROVER (Predicate/Transition net oriented Verification system) an Hand eines einfachen Beispielmodells erlräutert.

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