Cover Image

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

Show other versions (1)
Bibliographic Details
Main Author: Girault, Claude
Other Authors: Valk, R. (Rüdiger)
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2003]
Subjects:
Formal methods (Computer science)
Systems engineering.
Petri nets.
Description
Physical Description:xvi, 607 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [571]-599) and index.
ISBN:3540412174 (alk. paper)