Open AccessBook
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Reads0
Chats0
TLDR
In this paper, a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous.Abstract:
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.read more
Citations
More filters
Journal ArticleDOI
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
TL;DR: Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role and CPN Tools is an industrial-strength computer tool for constructing and analysed CPN models.
BookDOI
Workflows for e-Science
TL;DR: In this article, the authors present an overview of the current state-of-the-art within established projects, presenting many different aspects of workflow from users to tool builders, from a number of different perspectives.
Journal ArticleDOI
Web services and business process management
TL;DR: In this paper, the relationship between Web services and the management of business processes is worked out and presented in a tutorial-like manner.
Journal ArticleDOI
Workflow Automation: Overview and Research Issues
Edward A. Stohr,J. Leon Zhao +1 more
TL;DR: The field of workflow automation, the subject of this special issue of Information Systems Frontiers, is introduced and basic definitions and frameworks are provided to aid understanding of workflow management technologies.
References
More filters
Book
Communication and Concurrency
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
Book
The Temporal Logic of Reactive and Concurrent Systems: Specification
Amir Pnueli,Zohar Manna +1 more
Book
Parallel Program Design: A Foundation
TL;DR: One that the authors will refer to break the boredom in reading is choosing parallel program design a foundation as the reading material.
Defining Liveness
Bowen Alpern,Fred B. Schneider +1 more
TL;DR: A formal definition for liveness properties is proposed, and every property is shown to be the intersection of a safety property and a liveness property.
Journal ArticleDOI
Distributed network protocols
TL;DR: A series of known and new protocols for connectivity test, shortest path, and path updating are described and validated and extended to networks with changing topology.