Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics (Q2803579)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics |
scientific article |
Statements
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics (English)
0 references
2 May 2016
0 references
timed workflow processes
0 references
soundness checking
0 references
decidability
0 references
verification
0 references
