Building Occurrence Nets from Reveals Relations (Q5300614)
From MaRDI portal
scientific article; zbMATH DE number 6182062
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Building Occurrence Nets from Reveals Relations |
scientific article; zbMATH DE number 6182062 |
Statements
Building Occurrence Nets from Reveals Relations (English)
0 references
27 June 2013
0 references
Petri nets
0 references
occurrence net
0 references
event logics
0 references
event dependencies
0 references
synthesis of occurrence nets
0 references
