Petri nets for systems engineering : a guide to modeling, verification, and applications

Petri nets for systems engineering a guide to modeling, verification, and applications

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Girault, Claude (VerfasserIn)
Weitere Verfasser: Valk, Rüdiger (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2003
Schlagworte:
Engenharia de sistemas de computação > Petri netwerken > Redes de petri > Formal methods (Computer science) > Petri nets > Systems engineering > Petri-Netz
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XVI, 607 S.
Ill.
ISBN:3540412174
3-540-41217-4