Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions (Q4421127)
From MaRDI portal
scientific article; zbMATH DE number 1967419
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions |
scientific article; zbMATH DE number 1967419 |
Statements
Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions (English)
0 references
1995
0 references
concurrent systems design
0 references
formal description techniques
0 references
protocol engineering
0 references
