Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets

Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista. Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. T. Petri Nets and Other Models of Concurrency, 5:121-140, 2012. [doi]

Abstract

Abstract is missing.