Description |
vii, 303 pages : illustrations ; 24 cm |
Series |
Lecture notes in computer science ; 1605 |
|
Lecture notes in computer science ; 1605
|
Contents |
Functional Modelling and Analysis. Using High-Level Petri Nets in the Field of Intelligent Networks / C. Capellmann, H. Dibold and U. Herzog. The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets / C. Lakos and J. Lamp. The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets / G. Wheeler -- System Evaluation using Timed Petri Nets. Coloured Petri Nets Based Modelling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol / A. Ben Mnaouer, T. Sekiguchi and Y. Fujii [et al.]. Parameter Region for the Proper Operation of the IEEE 802.2 LLC Type 3 Protocol: A Petri Net Approach / H.-J. Moon, S. Y. Moon and W. H. Kwon. Timed Petri Net Models of ATM LANs / M. Reid and W. M. Zuberek -- Performance Analysis with Stochastic Petri Nets. Performance Evaluation of Polling-Based Communication Systems Using SPNs / B. R. Haverkort |
|
Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch / B. R. Haverkort and H. P. Idzenga. COSTPN for Modelling and Control of Telecommunication Systems / H. de Meer, O.-R. Dusterhoft and S. Fischer. Stochastic Coloured Petri Net Models for Rainbow Optical Networks / G. Franceschinis, A. Fumagalli and A. Silinguelli |
Summary |
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. 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 |
Bibliography |
Includes bibliographical references |
Subject |
Computer networks.
|
|
Electronic data processing -- Distributed processing.
|
|
Petri nets.
|
Author |
Billington, Jonathan.
|
|
Diaz, Michel, 1945-
|
|
Rozenberg, Grzegorz.
|
LC no. |
99026574 |
ISBN |
354065870X (softcover : alk. paper) |
|