Petri nets for systems engineering : a guide to modeling, verification, and applications ; with 9 tables

Petri nets for systems engineering a guide to modeling, verification, and applications ; with 9 tables

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Girault, Claude (VerfasserIn)
Weitere Verfasser: Valk, Rüdiger (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg, New York, London Springer 2003
Schlagworte:
Formal methods (Computer science) > Systems engineering > Petri nets > Petri-Netz > Systementwicklung > Systemmodell
Online Zugang:Inhaltsverzeichnis
Cover
Inhaltstext
Inhaltsverzeichnis
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XVI, 607 S
graph. Darst
24 cm
ISBN:3540412174
3-540-41217-4