CHAPTER 14 A Unified Model for Nets and Process Algebras

This chapter addresses a range of issues that arise when process algebras and Petri nets are combined; in particular, it focusses on compositionality of structure and behaviour, on refinement, and on equivalence notions. A generic algebra of nets and process expressions is defined and equipped with two types of semantics: a Petri net semantics based on step sequences and causal partial orders, and a structural operational semantics based on a …