Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools | IEEE Conference Publication | IEEE Xplore