Michel Diaz - Böcker

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantic basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programming languages, multimedia architectures, manufacturing systems, and communication protocols.

This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view focusing on partial mechanisms and starting models. This book aims at giving the basis needed for anybody to model and validate their own protocols. It follows a practical approach and gives many examples for the description and analysis of well known basic network mechanisms for protocols.The book firstly shows how to describe and validate the main protocol issues (such as synchronization problems, client-server interactions, layer organization and behavior, etc.) in an easy and understandable way. To do so, the book considers and presents the main traditional network examples (e.g. unidirectional flows, full-duplex com-munication, error recovering, alternating bit). Finally, it presents the outputs resulting from a few simulations of these UML models.Other books usually only focus either on teaching UML or on analyzing network protocols, however this book will allow readers to model network protocols using a new perspective and integrating these two views, so facilitating their comprehension and development.Any university student studying in the field of computing science, or those working in telecommunications, embedded systems or networking will find this book a very useful addition.

In an era of ubiquity, nomadism and ecological challenge, the maturity of wireless technologies, the readiness of broadband Internet access and the popularity of smart terminals should contribute to emancipating IT services in connection with the home and home-based resources. This book, in light of several years of applied research and technological surveys, aims at describing the digital home networking environment, its techniques, and the challenges around its service architecture. Digital Home Networking aims to provide a broad introduction to state-of-the-art digital home standards and protocols, as well as an in-depth description of service architectures for entertainment and domotic services involving digital home resources. The book covers aspects such as networking, remote access, security, interoperability, scalability and Quality of Service. Notably, it describes the generic architecture, which was proposed and developed in the context of the EUREKA/Celtic research project "Feel@Home".

This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier.

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.

This book constitutes the refereed proceedings of the 6th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, IDMS'99, held in Toulouse, France in October 1999. The 25 revised full papers presented together with three position papers and three abstracts of invited talks were carefully reviewed and selected from a total of 84 submissions. The book is divided in topical sections on network QoS, application QoS, mbone and multicast, adaptive applications and networks, new trends in IDMS, advances in coding, conferencing, and video servers.

The Internet has evolved from an academic network for data applications such as le transfer and net news, to a global general-purpose network used for a variety of different applications-electronic mail, voice over IP, television, peer-to-peer le sharing, video streaming and many more. The heterogeneity of applications results in rather different application requirements in terms of bandwidth, delay, loss, etc. Ideally, the underlying network supports Quality-of-Service parameters such that - plications can request the desired services from the network and do not need to take actions by themselves to achieve the desired communication quality. Initially, the Internet was not designed to support Quality of Service, and only in the last decade have appropriate mechanisms been developed. Those mechanisms operate mainly on theInternetProtocol(IP) level,butalso network-speci cmechanisms-e. g. ,targeted to particular wired/wireless access network technologies-are required.The goal of the European 6th Framework Programme (FP6) Integrated Project "End-to-end Quality of Service Support over Heterogeneous Networks" (EuQoS) was to develop, implement and evaluate concepts and mechanisms to support QoS end-to-end, meaning that QoS mechanisms in end systems, access networks, inter- main links and within domains must be supported. The EuQoS project developed an impressiveset ofinnovativesolutionsandnovelscienti cideastosupportend-to-end QoS on the Internet. New mechanisms and concepts were designed and implemented in a European-wide distributed testbed. In addition to the rather technical design and implementation work, the project also developed training material introducing basic QoS mechanisms and techniques.

The Internet has evolved from an academic network for data applications such as le transfer and net news, to a global general-purpose network used for a variety of different applications-electronic mail, voice over IP, television, peer-to-peer le sharing, video streaming and many more. The heterogeneity of applications results in rather different application requirements in terms of bandwidth, delay, loss, etc. Ideally, the underlying network supports Quality-of-Service parameters such that - plications can request the desired services from the network and do not need to take actions by themselves to achieve the desired communication quality. Initially, the Internet was not designed to support Quality of Service, and only in the last decade have appropriate mechanisms been developed. Those mechanisms operate mainly on theInternetProtocol(IP) level,butalso network-speci cmechanisms-e. g. ,targeted to particular wired/wireless access network technologies-are required.The goal of the European 6th Framework Programme (FP6) Integrated Project "End-to-end Quality of Service Support over Heterogeneous Networks" (EuQoS) was to develop, implement and evaluate concepts and mechanisms to support QoS end-to-end, meaning that QoS mechanisms in end systems, access networks, inter- main links and within domains must be supported. The EuQoS project developed an impressiveset ofinnovativesolutionsandnovelscienti cideastosupportend-to-end QoS on the Internet. New mechanisms and concepts were designed and implemented in a European-wide distributed testbed. In addition to the rather technical design and implementation work, the project also developed training material introducing basic QoS mechanisms and techniques.

Welcome totheproceedings ofCloudComp 2009. A computing cloudis more thana collection of computer resources, because itpro- vides mechanisms to manage those resources. In a cloud computing platform, software is migrating from the desktop to the "clouds," promising users, at any time and anywhere, access totheirprograms anddata. Thisyear, 44 academic, industrial andstudent papers from all overthe world were submitted, of which 17were accepted as regular longpapers. Additionally, threewere included as shortpapers on hottopics. The Program Committee appreciates the time andeffortall of the researchers put into preparing theirpapers. Many thanks also to themembers oftheProgram Committee andtheexternal reviewers foralloftheirhard workin reading, evaluating, and providing detailed feedback. Without the contribu- tions of both of these groups, CloudComp would not have been such a lively symposium. The symposium featured keynote addresses by Jesus Villasante, Head of Unit, European Commission, Dane Walther, Director of Custom Engineering, Akamai Technologies Inc. Cambridge, MA, USA, Greg Malewicz, Google, Mountain View, CA,USA, andMauro Campanella, Consortium GARR, Italy.A scientific visitof the Leibniz Supercomputer Centre (LRZ), Bavarian Academy of Science, Garching (Munich), was organized during the conference. The visit was hosted byProf.A. Bode. We feel that the symposium willgrow and develop in its service to the research community within bothacademia andindustry.