Sie haben keine Artikel im Warenkorb.

Petri Net Algebra von Eike Best

CHF 162.40
ISBN: 978-3-642-08677-9
GTIN: 9783642086779
Einband: Kartonierter Einband (Kt)
Verfügbarkeit: Lieferbar in ca. 20-45 Arbeitstagen
+ -
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con­ current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num­ bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev­ eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de­ scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be­ haviour.

From the reviews:

"The monograph presents a step-by step development of rigorous framework for the specification and verification of concurrent systems. ? The book contains full proofs, carefully chosen examples and several possible directions for further research. The development of the Petri net algebra is handled in such a way that it allows for further application-oriented extensions and modifications. The book is self-contained in the sense that no previous knowledge of Petri nets and process algebras is required." (Ryszard Janicki, Mathematical Reviews, Issue 2003 g)

"This monograph combines two theories of concurrency: process algebras and Petri nets. ? The book can serve researches and practitioners working in concurrency theory or in formalization of parallel and distributed systems. It can also be used in an advanced graduate course as a textbook or as a reference. The book contains numerous examples and exercises included in the text immediately following the relevant material. ? it is well organized and coherent both in structure and content." (Boleslaw Mikolajczak, SIGACT News, Vol. 33 (2), 2002)


*
*
*
*
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con­ current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num­ bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev­ eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de­ scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be­ haviour.

From the reviews:

"The monograph presents a step-by step development of rigorous framework for the specification and verification of concurrent systems. ? The book contains full proofs, carefully chosen examples and several possible directions for further research. The development of the Petri net algebra is handled in such a way that it allows for further application-oriented extensions and modifications. The book is self-contained in the sense that no previous knowledge of Petri nets and process algebras is required." (Ryszard Janicki, Mathematical Reviews, Issue 2003 g)

"This monograph combines two theories of concurrency: process algebras and Petri nets. ? The book can serve researches and practitioners working in concurrency theory or in formalization of parallel and distributed systems. It can also be used in an advanced graduate course as a textbook or as a reference. The book contains numerous examples and exercises included in the text immediately following the relevant material. ? it is well organized and coherent both in structure and content." (Boleslaw Mikolajczak, SIGACT News, Vol. 33 (2), 2002)


Autor Best, Eike / Devillers, Raymond / Koutny, Maciej
Verlag Springer Nature EN
Einband Kartonierter Einband (Kt)
Erscheinungsjahr 2010
Seitenangabe 378 S.
Lieferstatus Lieferbar in ca. 20-45 Arbeitstagen
Ausgabekennzeichen Englisch
Abbildungen Previously published in hardcover
Masse H23.5 cm x B15.5 cm 605 g
Coverlag Springer (Imprint/Brand)
Auflage Softcover reprint of hardcover
Reihe Monographs in Theoretical Computer Science. An EATCS Series

Über den Autor Eike Best

Eike BestBorn in 1951 in Germany, graduated in Informatik in 1974 at the Technische Hochschule Karlsruhe. He has joined projects led by Peter Lauer and Brian Randell at the University of Newcastle upon Tyne (1975-1981) where he started to cooperate with Raymond Devillers. He earned his PhD in 1982 at Newcastle and a Habilitation degree at the University of Bonn in 1988 while working at Carl Adam Petri's Institute. He has taught a range of computer science courses as a professor in Paderborn, Hildesheim, and Oldenburg (from 1996), and he has a research and project leadership record, with an emphasis on semantics and Petri nets. Raymond Devillers Born in 1945 in Belgium, graduated in Mathematics and Physics, he got a PhD Thesis in 1974 on the use of games for deadlock prevention at the University of Brussels. During a postdoctorate stay in Newcastle upon Tyne, he met Eike Best, start of a long-lasting cooperation. After a job at the Computer Center of the ULB, he started a professorial career at the same university, where he taught many different courses in practical and theoretical computer sciences. He conducted many researches, in particular about the analysis and synthesis of Petri nets, before and after his retirement in 2010.

Weitere Titel von Eike Best