Modeling Grover's Algorithm with Colored Petri Net | IEEE Conference Publication | IEEE Xplore