Coloured Petri Nets
Modeling and Validation of Concurrent Systems
Edición de la obra Coloured Petri Nets
| Autor | Kurt Jensen, Lars M. Kristensen |
|---|---|
| Editorial | Springer Berlin / Heidelberg |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| Páginas | 384 |
| ISBN-13 | 9783642002830 |
| Número de Cutter | J54c |