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
Avainsanat: Computer Science, Theory of Computation, Mathematical Logic and Foundations, Software Engineering/Programming and Operating Systems
- Tekijä(t)
- Gorrieri, Roberto
- Julkaisija
- Springer
- Julkaisuvuosi
- 2017
- Kieli
- en
- Painos
- 1
- Sarja
- Monographs in Theoretical Computer Science. An EATCS Series
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319555591
- Painetun ISBN
- 978-3-319-55558-4
