Arc-typed Petri Nets (Q4633168)
From MaRDI portal
scientific article; zbMATH DE number 7049852
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Arc-typed Petri Nets |
scientific article; zbMATH DE number 7049852 |
Statements
Arc-typed Petri Nets (English)
0 references
2 May 2019
0 references
arc-typed net
0 references
causality
0 references
partial-order semantics
0 references
process
0 references
specification
0 references
verification
0 references
consistency protocol
0 references
