عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .D5 R4713
QA
76
.
9
.
D5
R4713
کتابخانه
محل استقرار
eng
Petri nets: fundamental models, verification, and applications
Hoboken, N.J.
ISTE/Wiley
c2009
585 p.
Translation of: Les reseaux de Petri, published in 2001; and: Verification et mise en uvre des reseaux de Petri, published in 2003
Includes bibliographical references and index
edited by Michel Diaz
Reseaux de Petri.
Distributed processing ، Electronic data processing
، Parallel processing )Electronic computers(
، System design
، Petri nets
QA
76
.
9
.
D5
R4713
TI
AU Diaz, Michel 1945-
