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!

Keine Ergebnisse!