C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.
Martin Schwarick
Christian Rohr
Fei Liu
George Assaf
Jacek Chodak
Monika Heiner
Published in:
Petri Nets (2020)
Keyphrases
</>
coloured petri nets
decision diagrams
computationally efficient
dynamic programming
graphical models
constraint programming