Transformations of models of 2-dimensional grids Colored Petri nets into infinite Petri nets and vise versa | IEEE Conference Publication | IEEE Xplore