Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (Q3179169)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data |
scientific article |
Statements
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (English)
0 references
21 December 2016
0 references
workflows
0 references
modalities
0 references
coloured Petri nets
0 references
constraint system
0 references
