Sign in
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.
Silien Hong
Fabrice Kordon
Emmanuel Paviot-Adet
Sami Evangelista
Published in:
Trans. Petri Nets Other Model. Concurr. (2012)
Keyphrases
</>
efficient computation
decision diagrams
search algorithm
image sequences
multiscale
multi dimensional
multi valued
multi valued decision diagrams