Design and formal analysis of petri net based logic control algorithms : Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen

Design and formal analysis of petri net based logic control algorithms Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen

Zugl.: Kaiserslautern, Univ., Diss., 2002

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Frey, Georg (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Aachen Shaker 2002
Schriftenreihe:Berichte aus der Automatisierungstechnik
Schlagworte:
Hochschulschrift > Steuerungssystem > Softwareentwicklung > Systementwurf > Diskretes Ereignissystem > Petri-Netz > Formale Spezifikationstechnik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Kaiserslautern, Univ., Diss., 2002
Beschreibung:V, 140 S
graph. Darst
21 cm
ISBN:3832200436
3-8322-0043-6