The proceedings of the June 1996 workshop contain 24 papers selected according to a special review process. Papers are organized in 8 sessions, covering the topics of solution techniques, simulation, queueing systems, process algebra and applications. Specific topics include petri nets for modeling and evaluating deterministic and stochastic manufacturing systems; modeling of hybrid systems using continuous and hybrid petri nets; analysis of large GSPN models; timed petri net models of multithreaded multiprocessor architectures; discrete-event simulation of fluid stochastic petri nets; and GSPN analysis of ABR in ATM LANs. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Proceedings of the 7th International Workshop on Software Specification and Design held in Redondo Beach, California, in December 1993. Among the topics discussed: real-time systems, concurrency and distribution, formal reasoning, and design methods and software architecture. No index. Annotation co
This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002. The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.
This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002. The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.
Over the recent years, a considerable amount of effort has been devoted, both in industry and academia, towards the performance modelling, evaluation and prediction of convergent multi-service heterogeneous networks, such as wireless and optical networks, towards the design and dimensioning of the next and future generation Internets.This book follows Heterogeneous Networks: Traffic Engineering, Performance Evaluation Studies and Tools and presents recent advances in networks of diverse technology reflecting the state-of-the-art technology and research achievements in performance modelling, analysis and applications worldwide.Technical topics discussed in the book include:• Multiservice Switching Networks;• Multiservice Switching Networks;• Wireless Ad Hoc Networks;• Wireless Sensor Networks;• Wireless Cellular Networks;• Optical Networks;Heterogeneous Networks:- Performance Modelling and Analysis contains recently extended research papers, which have their roots in the series of the HET-NETs International Working Conferences focusing on the 'Performance Modelling and Evaluation of Heterogeneous Networks' under the auspices of the EU Networks of Excellence Euro-NGI and Euro-FGI.Heterogeneous Networks: Performance Modelling and Analysis is ideal for personnel in computer/communication industries as well as academic staff and master/research students in computer science, operational research, electrical engineering and telecommunication systems and the Internet.KeywordsHeterogeneous networks, performance modelling and analysis, wired networks, wireless networks: ad hoc, sensor and cellular, optical networks, next and future generation Internets.
This book constitutes revised selected papers of the 19th International Conference on Information Technologies and Mathematical Modelling, ITMM 2020, named after A.F. Terpugov, held in Tomsk, Russia, in December 2020. The 31 full papers presented in this volume were carefully reviewed and selected from 82 submissions. The conference covers various aspects of information technologies, focusing on queueing theory, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols.
