Table of contents : Using high-level petri nets in the field of intelligent networks....Pages 1-36 The incremental modelling of the Z39.50 protocol with object petri nets....Pages 37-68 The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets....Pages 69-92 Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol....Pages 93-130 Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach....Pages 131-149 Timed petri net models of ATM LANs....Pages 150-175 Performance evaluation of polling-based communication systems using SPNs....Pages 176-209 Structural decomposition and serial solution of SPN models of the ATM GAUSS switch....Pages 210-231 COSTPN for Modeling and control of telecommunication systems....Pages 232-272 Stochastic colored petri net models for rainbow optical networks....Pages 273-303