Temporal logic and categories of Petri nets (Q4630293)
From MaRDI portal
scientific article; zbMATH DE number 7045144
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Temporal logic and categories of Petri nets |
scientific article; zbMATH DE number 7045144 |
Statements
Temporal logic and categories of Petri nets (English)
0 references
29 March 2019
0 references
temporal logic
0 references
proof system
0 references
mutual exclusion
0 references
safety property
0 references
modal language
0 references
