Coloured Petri nets : modelling and validation of concurrent systems
Na minha lista:
| Auteurs principaux: | , |
|---|---|
| Formato: | Livre papier |
| Idioma: | Anglais |
| Publicado em: |
Dordrecht ; New York :
Springer
C 2009.
|
| Assuntos: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Coloured Petri Nets, Modelling and Validation of Concurrent Systems, by Kurt Jensen, Lars M. Kristensen., Berlin, Heidelberg, Springer Berlin Heidelberg, 2009, 978-3-642-00284-7 |
| Descrição Física: | 1 vol. (xi-384 p.) : ill. ; 24 cm. |
|---|---|
| Bibliografia: | Bibliogr. p. 375-379. Index |
| ISBN: | 9783642002830 9783642425813 (br.) |