Petri Nets for systems engineering : a guide to modeling, verification and applications / Claude Girault, Rüdiger Valk
Publication: Berlin : Springer, 2003Description: XVI, 607 p. : il.ISBN: 3-540-41217-4.Subject - Topical Name: Métodos gráficos de computação | Redes de PetriItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | GIR. 519.67 (Browse shelf) | Available | 1015919 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
GIR. 512 Curso de álgebra linear e geometria analítica | GIR. 519.2 Processus aléatoires | GIR. 519.6 Finite element methods for Navier-Stokes equations | GIR. 519.67 Petri Nets for systems engineering | GIT. 33 Fundamentals of investing | GIT. 33 Fundamentals of investing | GIT. 539.3 Creep, viscoelasticity and creep fracture in solids |
There are no comments for this item.