Getting the priorities right: saturation for prioritised Petri nets (Q1662541)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Getting the priorities right: saturation for prioritised Petri nets |
scientific article; zbMATH DE number 6920503
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Getting the priorities right: saturation for prioritised Petri nets |
scientific article; zbMATH DE number 6920503 |
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
0.7913578748703003
0 references
0.7889872789382935
0 references
0.7887841463088989
0 references
0.7886338829994202
0 references