Advertisement

Anhang C: Definition und Eigenschaften der Prädikat/Transitions-Netze

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

Zusammenfassung

Im folgenden wird zunächst in Kap. 10.1 eine formale Basis zum Aufbau der Prädikat/Transitions-Netze (PRT-Netze) erarbeitet. Diese Basis besteht aus zwei Arten von Bausteinen:
  • Ausdrücken einer prädikatenlogischen Sprache erster Ordnung, sowie

  • Multimengen (formalen Summen), deren Komponenten Ausdrücke in dieser Sprache sind.

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