Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

By Roberto Gorrieri

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 3319856944
• ISBN13: 9783319856940
• Release Date: May 2018
• Publisher: Springer
• Length: 302 Pages
• Weight: 0.98 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"