Process Algebras for Petri Nets by Roberto Gorrieri
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory.
It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.
-
Fundamentals of Algebraic Graph Transformation
-
Models and Algorithms of Time-Dependent Scheduling
-
Theoretical Aspects of Distributed Computing in Sensor Networks
-
Handbook of Weighted Automata
-
Coping with Selfishness in Congestion Games
-
First-Order Programming Theories
-
Restricted-Orientation Convexity
-
Fault-Tolerant Search Algorithms
-
Patterns in Permutations and Words
-
Semantic Integration of Heterogeneous Software Specifications
-
Theoretical Aspects of Local Search
-
Computability
-
Syntax-Directed Semantics
-
The Logic of Partial Information
-
Computing in Horn Clause Theories
-
Nonsequential Processes
-
Data Structures and Algorithms 3
-
Relations and Graphs
-
Fundamentals of Algebraic Specification 1
-
Iteration Theories
-
Semirings, Automata, Languages
-
Data Structures and Algorithms 1
-
Petri Nets
-
Kolmogorov Complexity and Computational Complexity
-
Temporal Logic of Programs
-
Confluent String Rewriting
-
Fundamentals of Algebraic Specification 2
-
Parsing Theory
-
Finiteness and Regularity in Semigroups and Formal Languages
-
Coloured Petri Nets
-
Algorithms in Combinatorial Geometry
-
Logics of Specification Languages
-
Graph and Model Transformation
-
Unfoldings
-
Stochastic Coalgebraic Logic
“Gorrieri's monograph is truly illuminating and has fully met my high expectations regarding content, originality, technical rigor, and presentationIt should be on the reading list of every doctoral student in concurrency theory and also of those research scholars who have some grounding in concurrency theory but are not experts in both Petri nets and process algebras.” (Gerald Lüttgen, Mathematical Reviews, April, 2018)
Roberto Gorrieri is a professor in the Universitü¾Œ†”¼ di Bologna. His research and teaching interests include theoretical computer science, particularly concurrency, the foundations of software engineering, and the foundations of security. He coauthored the textbook Introduction to Concurrency Theory: Transition Systems and CCS in 2015, and he has authored over 140 formal academic publications. He received his PhD in Computer Science from the Universitü¾Œ†”¼ di Pisa.
| SKU | Unavailable |
| ISBN 13 | 9783319856940 |
| ISBN 10 | 3319856944 |
| Title | Process Algebras for Petri Nets |
| Author | Roberto Gorrieri |
| Series | Monographs In Theoretical Computer Science An Eatcs Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2018-05-09 |
| Number of pages | 302 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |