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

Full description

Bibliographic Details
Other Authors: Billington, Jonathan (Editor), Diaz, Michel (Editor), Rozenberg, Grzegorz (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1999, 1999
Edition:1st ed. 1999
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03169nmm a2200397 u 4500
001 EB000658784
003 EBX01000000000000000511866
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540489115 
100 1 |a Billington, Jonathan  |e [editor] 
245 0 0 |a Application of Petri Nets to Communication Networks  |h Elektronische Ressource  |b Advances in Petri Nets  |c edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg 
250 |a 1st ed. 1999 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1999, 1999 
300 |a X, 314 p  |b online resource 
505 0 |a 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 
653 |a Computer Communication Networks 
653 |a Software engineering 
653 |a Information Storage and Retrieval 
653 |a Software Engineering 
653 |a Application software 
653 |a Information storage and retrieval systems 
653 |a Computer networks  
653 |a Telecommunication 
653 |a Communications Engineering, Networks 
653 |a Computer and Information Systems Applications 
700 1 |a Diaz, Michel  |e [editor] 
700 1 |a Rozenberg, Grzegorz  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/BFb0097770 
856 4 0 |u https://doi.org/10.1007/BFb0097770?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.6 
520 |a 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 both information and control flow within the same formalism. As an intuitively appealing graphical form of presentation, Petri nets are the model of choice in various applications. Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed and comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis and management of communication networks and systems in the broadest sense of these terms