Petri Nets

Petri Nets

Author: Pawel Pawlewski

Publisher: BoD – Books on Demand

Published: 2012-08-29

Total Pages: 506

ISBN-13: 9535107003

DOWNLOAD EBOOK

Petri Nets were introduced in the doctoral dissertation by K.A. Petri, titled "Kommunikation mit Automaten" and published in 1962 by University of Bonn. Petri Nets are graphical (the intuitive graphical modeling language) and mathematical (advanced formal analysis method) tool. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The main idea of this theory was modified by many researchers according to their needs, owing to the unusual "flexibility" of this theory. The present monograph focuses on Petri Nets applications in two main areas: manufacturing (section 1) and computer science (section 2). These two areas have still huge influence on our lives and our world. The theory of Petri Nets is still developing: some directions of investigations are presented in section 3. And at the end there is section 4 including some infesting facts concerning application of Petri Nets in the public area: the analysis and control of public bicycle sharing systems. The monograph shows the results of research works performed with use of Petri Nets in science centers all over the world.


Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

Author: Kaustubh Joshi

Publisher: Springer

Published: 2013-07-23

Total Pages: 418

ISBN-13: 3642401961

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.


Peer-to-Peer Video Streaming

Peer-to-Peer Video Streaming

Author: Eric Setton

Publisher: Springer Science & Business Media

Published: 2007-10-25

Total Pages: 157

ISBN-13: 0387741143

DOWNLOAD EBOOK

The book describes novel solutions to enhance video quality, increase robustness to errors, and reduce end-to-end latency in video streaming systems. The authors are leading Researchers from Stanford University.


Workload Modeling for Computer Systems Performance Evaluation

Workload Modeling for Computer Systems Performance Evaluation

Author: Dror G. Feitelson

Publisher: Cambridge University Press

Published: 2015-03-23

Total Pages: 569

ISBN-13: 1316240762

DOWNLOAD EBOOK

Reliable performance evaluations require the use of representative workloads. This is no easy task since modern computer systems and their workloads are complex, with many interrelated attributes and complicated structures. Experts often use sophisticated mathematics to analyze and describe workload models, making these models difficult for practitioners to grasp. This book aims to close this gap by emphasizing the intuition and the reasoning behind the definitions and derivations related to the workload models. It provides numerous examples from real production systems, with hundreds of graphs. Using this book, readers will be able to analyze collected workload data and clean it if necessary, derive statistical models that include skewed marginal distributions and correlations, and consider the need for generative models and feedback from the system. The descriptive statistics techniques covered are also useful for other domains.


ICT Innovations 2010

ICT Innovations 2010

Author: Marjan Gusev

Publisher: Springer

Published: 2011-02-24

Total Pages: 390

ISBN-13: 3642193250

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference, ICT Innovations 2010, held in Ohrid, Macedonia, in September 2010. The 33 revised papers presented together with 5 invited papers were carefully reviewed and selected. The papers address the following topics: internet applications and services, artificial intelligence, bioinformatics, internet, mobile and wireless technologies, multimedia information systems, computer networks, computer security, e-business, cryptography, high-performance-computing, social networks, e-government, as well as GPU computing.


Intelligent Systems Design and Applications

Intelligent Systems Design and Applications

Author: Ana Maria Madureira

Publisher: Springer

Published: 2017-02-22

Total Pages: 1106

ISBN-13: 3319534807

DOWNLOAD EBOOK

This book comprises selected papers from the 16th International Conference on Intelligent Systems Design and Applications (ISDA’16), which was held in Porto, Portugal from December 1 to16, 2016. ISDA 2016 was jointly organized by the Portugual-based Instituto Superior de Engenharia do Porto and the US-based Machine Intelligence Research Labs (MIR Labs) to serve as a forum for the dissemination of state-of-the-art research and development of intelligent systems, intelligent technologies, and applications. The papers included address a wide variety of themes ranging from theories to applications of intelligent systems and computational intelligence area and provide a valuable resource for students and researchers in academia and industry alike.


Advances on P2P, Parallel, Grid, Cloud and Internet Computing

Advances on P2P, Parallel, Grid, Cloud and Internet Computing

Author: Leonard Barolli

Publisher: Springer Nature

Published: 2019-10-19

Total Pages: 963

ISBN-13: 3030335097

DOWNLOAD EBOOK

This book presents the latest research findings, innovative research results, methods and development techniques related to P2P, grid, cloud and Internet computing from both theoretical and practical perspectives. It also reveals the synergies among such large-scale computing paradigms. P2P, grid, cloud and Internet computing technologies have rapidly become established as breakthrough paradigms for solving complex problems by enabling aggregation and sharing of an increasing variety of distributed computational resources at large scale. Grid computing originated as a paradigm for high-performance computing, as an alternative to expensive supercomputers through different forms of large-scale distributed computing. P2P computing emerged as a new paradigm after client–server and web-based computing and has proved useful in the development of social networking, B2B (business to business), B2C (business to consumer), B2G (business to government), and B2E (business to employee). Cloud computing has been defined as a “computing paradigm where the boundaries of computing are determined by economic rationale rather than technical limits,” and it has fast become a computing paradigm with applicability and adoption in all application domains and which provides utility computing at a large scale. Lastly, Internet computing is the basis of any large-scale distributed computing paradigms; it has developed into a vast area of flourishing fields with enormous impact on today’s information societies, and serving as a universal platform comprising a large variety of computing forms such as grid, P2P, cloud and mobile computing.


Advances in Computing

Advances in Computing

Author: Andrés Solano

Publisher: Springer

Published: 2017-08-14

Total Pages: 813

ISBN-13: 3319665626

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th Colombian Conference on Computing, CCC 2017, held in Cali, Colombia, in September 2017. The 56 revised full papers presented were carefully reviewed and selected from 186 submissions. The papers are organized in topical sections on information and knowledge management, software engineering and IT architectures, educational informatics, intelligent systems and robotics, human-computer interaction, distributed systems and large-scale architectures, image processing, computer vision and multimedia, security of the information, formal methods, computational logic and theory of computation.


Advances in Communication Systems and Electrical Engineering

Advances in Communication Systems and Electrical Engineering

Author: He Huang

Publisher: Springer Science & Business Media

Published: 2008-02-02

Total Pages: 597

ISBN-13: 0387749381

DOWNLOAD EBOOK

This volume contains contributions from participants in the 2007 International Multiconference of Engineers and Computer Scientists. It covers a variety of subjects in the frontiers of intelligent systems and computer engineering and their industrial applications. The book reflects the tremendous advances in communication systems and electrical engineering. The book provides an excellent reference work for researchers and graduate students working in the field.


Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Author: Jens B. Schmitt

Publisher: Springer

Published: 2012-03-08

Total Pages: 343

ISBN-13: 3642285406

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.