Correctness Notions for Petri Nets with Identifiers (Q6189321)
From MaRDI portal
scientific article; zbMATH DE number 7801677
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correctness Notions for Petri Nets with Identifiers |
scientific article; zbMATH DE number 7801677 |
Statements
Correctness Notions for Petri Nets with Identifiers (English)
0 references
8 February 2024
0 references
information system
0 references
verification
0 references
data correctness
0 references
resource correctness
0 references
0 references
