Application of Petri Nets to Communication Networks Advances in Petri Nets /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Billington, Jonathan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Diaz, Michel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1605
• Θέματα: Computer communication systems.; Application software.; Software engineering.; Information storage and retrieval.; Electrical engineering.; Computer Communication Networks.; Information Systems Applications (incl. Internet).; Software Engineering.; Information Storage and Retrieval.; Communications Engineering, Networks.

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...

Πίνακας περιεχομένων:

• 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.