Application of Petri nets to communication networks : advances in Petri nets
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise semantics and a theoretical foundation, but also a graphical form that facilitates the understanding of...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
1605 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Application of Petri nets to communication networks, advances in Petri nets, Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.), 1999, New York, Springer, 1 vol. (VII-303 p.), Lecture notes in computer science, 3-540-65870-X • Application of Petri Nets to Communication Networks, Texte imprimé, 9783662183373 |