Petri nets : fundamental models, verification, and applications / edited by Michel Diaz
Material type:
- 9781848210790
- Réseaux de Petri. English.
Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
MAIN LIBRARY Main Library General Collection | MAIN LIBRARY Main Library General Collection | QA76.9 . D5R4713 2009 (Browse shelf(Opens below)) | 1 | Available | 1000260683 | ||
![]() |
MAIN LIBRARY Main Library General Collection | MAIN LIBRARY Main Library General Collection | QA76.9 . D5R4713 2009 (Browse shelf(Opens below)) | 1 | Available | 1000279429 |
Translation of: Les réseaux de Petri, published in 2001; and: Vérification et mise en œuvre des réseaux de Petri, published in 2003.
Includes bibliographical references and index.