Process Algebras for Petri Nets | Taschenbuch

Cover: 9783319856940 | Process Algebras for Petri Nets | Roberto Gorrieri | Taschenbuch

Rückseite: 9783319856940 | Process Algebras for Petri Nets | Roberto Gorrieri | Taschenbuch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

74,10 €*

-13 % UVP 85,59 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Über den Autor

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.

Zusammenfassung

Relates hierarchies of classes of Petri nets and process algebras

First book to discuss limitations of Turing computability

Important for graduate students and researchers engaged with the concurrent semantics of distributed communication systems

Inhaltsverzeichnis

Introduction.- Transition Systems.- Petri Nets.- The Basic Calculus: SFM.- Adding Asynchronous Parallel Composition: CFM and BPP.- Adding Communication and Restriction: FNC.- Adding Multi-party Communication: FNM.- Adding Atomic Tests for Absence: NPL.- Generalizations and Conclusions.

Details

Erscheinungsjahr:	2018
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	xiii 302 S. 60 s/w Illustr. 4 farbige Illustr. 302 p. 64 illus. 4 illus. in color.
ISBN-13:	9783319856940
ISBN-10:	3319856944
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Gorrieri, Roberto
Auflage:	Softcover reprint of the original 1st edition 2017
Hersteller:	Springer International Publishing
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 18 mm
Von/Mit:	Roberto Gorrieri
Erscheinungsdatum:	09.05.2018
Gewicht:	0,482 kg

Artikel-ID: 114227913