Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Edición de la obra Coloured Petri Nets
| Autor | Kurt Jensen, Lars M. Kristensen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642002847 |
| Número de Cutter | J54c |
Modelling and Validation of Concurrent Systems
Edición de la obra Coloured Petri Nets
| Autor | Kurt Jensen, Lars M. Kristensen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642002847 |
| Número de Cutter | J54c |