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...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
1605 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
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 |
Kazalo:
- Using high-level petri nets in the field of intelligent networks
- The incremental modelling of the Z39.50 protocol with object petri nets
- The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets
- Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol
- Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach
- Timed petri net models of ATM LANs
- Performance evaluation of polling-based communication systems using SPNs
- Structural decomposition and serial solution of SPN models of the ATM GAUSS switch
- COSTPN for Modeling and control of telecommunication systems
- Stochastic colored petri net models for rainbow optical networks.