Gorrieri, Roberto
Process Algebras for Petri Nets
Table of contents
1. Introduction
Roberto Gorrieri
2. Labeled Transition Systems
Roberto Gorrieri
3. Petri Nets
Roberto Gorrieri
4. The Basic Calculus: SFM
Roberto Gorrieri
5. Adding Asynchronous Parallel Composition: CFM and BPP
Roberto Gorrieri
6. Adding Communication and Restriction: FNC
Roberto Gorrieri
7. Adding Multi-party Communication: FNM
Roberto Gorrieri
8. Adding Atomic Tests for Absence: NPL
Roberto Gorrieri
9. Generalizations and Variant Semantics
Roberto Gorrieri
Nyckelord: Computer Science, Theory of Computation, Mathematical Logic and Foundations, Software Engineering/Programming and Operating Systems
- Författare
- Gorrieri, Roberto
- Utgivare
- Springer
- Utgivningsår
- 2017
- Språk
- en
- Utgåva
- 1
- Serie
- Monographs in Theoretical Computer Science. An EATCS Series
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783319555591
- Tryckt ISBN
- 978-3-319-55558-4
