Petri net algebra
type: Item
instance of: scholarly article
title: Petri net algebra
zbMATH Open document ID: 0968.68110
author: Eike Best
author: Raymond Devillers
author: Maciej Koutny
published in: Monographs in Theoretical Computer Science. An EATCS Series
publication date: 2000-08-07T00:00:00Z
review text: The book presents a rigorous framework for the specification and verification of concurrent systems. Petri net algebra is based on process algebra and Petri nets. Petri nets are treated as composable objects and embedded in a general process algebra. Some process algebras is given Petri net semantics. Petri net based verification techniques are applied to process algebras. The book contains full proofs, carefully chosen examples and connections to other process algebras.
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 1485383
zbMATH Keywords: concurrent systems
zbMATH Keywords: Petri net
zbMATH Keywords: process algebras
MaRDI profile type: Publication
Recommended article: Petri nets and algebraic specifications
Recommended article: Q4850339
Recommended article: Q4665741
Recommended article: Q4421723
Recommended article: Q3129285
Recommended article: Q3735084
Recommended article: Q3745292
Recommended article: On the algebraic structure of Petri nets
Recommended article: Automata, Languages and Programming
Recommended article: Petri nets, algebras, morphisms, and compositionality
description: scientific article; zbMATH DE number 1485383