Petri net algebra (Q1573598)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1485383
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Petri net algebra |
scientific article; zbMATH DE number 1485383 |
Statements
Petri net algebra (English)
0 references
7 August 2000
0 references
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.
0 references
concurrent systems
0 references
Petri net
0 references
process algebras
0 references
0 references
0.9508363
0 references
0 references
0.9244365
0 references
