INA
Integrierter Netz Analysator
Version 1.7

Handbuch

Stephan Roch
Prof. Peter H. Starke

Humboldt-Universität zu Berlin
Institut für Informatik
Lehrstuhl für Automaten- und Systemtheorie
Axel Springer Straße 54a
10117 Berlin

Weitere Formate:

• PostScript [976 kB]
• PostScript (gzip gepackt) [288 kB]
• TeX-DVI [504 kB, ohne Abbildungen]
• TeX-DVI (gzip gepackt) [128 kB, ohne Abbildungen]
• HTML (zip/pkzip gepackt) [264 kB]

• Beispielnetze des Handbuchs (zip/pkzip gepackt) [5 kB]

Kostenlose Demoversion des Programms mit eingeschränkter Funktionalität für DOS-Plattformen:

• DOS-Demoversion [384 kB]
• DOS-Demoversion (zip/pkzip gepackt) [184 kB]

zum Handbuch der Version 2.1
zum Handbuch der Version 2.2

• Inhalt
• Abbildungsverzeichnis
• 1 Einleitung
  • 1.1 Überblick
  • 1.2 Darstellungsweise
• 2 Grundlagen
  • 2.1 Startvorbereitungen
  • 2.2 Generelle Regeln für den Dialog mit INA
  • 2.3 Dateien, Extensionen, Formate und die Netzeingabe
    • 2.3.1 Wichtige Dateien
    • 2.3.2 Dateiextensionen
    • 2.3.3 Eingabe von Netzen
    • 2.3.4 Dateiformate
  • 2.4 Die Struktur einer INA -Session
    • 2.4.1 Aufruf und Beenden von INA
    • 2.4.2 Der Session-Report
    • 2.4.3 Analyse mehrerer Netze nach dem gleichen Schema
  • 2.5 Optionen
    • 2.5.1 Markenarten
    • 2.5.2 Zeitoption
    • 2.5.3 Schaltregel
    • 2.5.4 Prioritäten
    • 2.5.5 Schaltstrategie
    • 2.5.6 Zeilenlänge
• 3 Editor
  • 3.1 Einlesen und Schreiben
  • 3.2 Löschen und Ändern
  • 3.3 Verschmelzen
• 4 Schalten
  • 4.1 Grundlagen
  • 4.2 Zustandsdarstellung
    • 4.2.1 Zustandsdarstellung ohne Zeitbewertung
    • 4.2.2 Zustandsdarstellung unter Zeitbewertung
  • 4.3 Hilfsfunktionen
  • 4.4 Schaltfunktionen
    • 4.4.1 Allgemeines
    • 4.4.2 Schalten unter Zeitbewertung
  • 4.5 Beispiel
• 5 Reduktion
  • 5.1 Grundlagen
  • 5.2 Hilfsfunktionen
  • 5.3 Reduktionsprozeduren
• 6 Analyse
  • 6.1 Grundlagen
  • 6.2 Analysestatus
    • 6.2.1 Elementare Netzeigenschaften
    • 6.2.2 Weitere Netzeigenschaften
  • 6.3 Analysemenü und Voranalyse
  • 6.4 Erreichbarkeitsanalyse
    • 6.4.1 Pfadberechnung
    • 6.4.2 Reduktionen des Zustandsgraphen
    • 6.4.3 Graphberechnung
    • 6.4.4 Graphanalyse
  • 6.5 Invariantenanalyse
    • 6.5.1 Invariantenberechnung
    • 6.5.2 Semipositive Invarianten
    • 6.5.3 Invariantentest
  • 6.6 Strukturanalyse
• Literatur
• Index
• Über dieses Handbuch