Overview
- A study of the relationship between Petri nets and process algebras
- A detailed development of a formal model combining these two approaches
- Self-contained and with full proofs and carefully chosen examples
- Includes supplementary material: sn.pub/extras
Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
Keywords
About this book
Reviews
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)
Authors and Affiliations
Bibliographic Information
Book Title: Petri Net Algebra
Authors: Eike Best, Raymond Devillers, Maciej Koutny
Series Title: Monographs in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-662-04457-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Hardcover ISBN: 978-3-540-67398-9Published: 26 January 2001
Softcover ISBN: 978-3-642-08677-9Published: 01 December 2010
eBook ISBN: 978-3-662-04457-5Published: 09 March 2013
Series ISSN: 1431-2654
Series E-ISSN: 2193-2069
Edition Number: 1
Number of Pages: XI, 378
Topics: Algebra, Logics and Meanings of Programs, Computation by Abstract Devices, Software Engineering, Symbolic and Algebraic Manipulation, Discrete Mathematics in Computer Science