Getting the priorities right: saturation for prioritised Petri nets (Q1662541)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Getting the priorities right: saturation for prioritised Petri nets |
scientific article |
Statements
Getting the priorities right: saturation for prioritised Petri nets (English)
0 references
20 August 2018
0 references
saturation
0 references
priority
0 references
prioritised Petri net
0 references
Petri net
0 references
decision diagram
0 references
edge-valued interval decision diagram
0 references
GSPN
0 references
