Coloured petri nets : basic concepts, analysis methods and practical use / Kurt Jensen
Main Author Jensen, Kurt, 1950- Language Inglês. Country Argélia. Edition 2nd ed Publication Berlin : Springer-Verlag, 1997 Description 2v. (IX, 234; X, 174, [10]) p. : il. ; 24 cm Series Monographs in Theoretical Computer Science ISBN 3-540-60943-1 (Vol. 1)3-540-58276-2 (Vol. 2) Topical name Redes Petri
Simulação por computador
Métodos de análise formal CDU 004.89
681.5.01
519.71
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Monografia | JEN 004.89 65281/I SD | Available | SD51065281 | ||
Monografia | JEN 004.89 65281/II SD | Available | SD52065281 |
Contém referências bibliográficas e índice
There are no comments for this item.