Coloured Petri nets : modelling and validation of concurrent systems
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Dordrecht ; New York :
Springer
C 2009.
|
| Sujets: | |
| 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 |
Orléans - BU Sciences Technologies STAPS
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Informatique, rez-de-chaussée | 005.131 JEN | Disponible |