Clarimundo Machado Moraes Junior, Rita Maria da Silva Julia, Stéphane Julia. Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools. In Shahram Latifi, editor, 12th International Conference on Information Technology - New Generations, ITNG 2015, Las Vegas, NV, USA, April 13-15, 2015. pages 788-791, IEEE Computer Society, 2015. [doi]
Abstract is missing.