Transformation of restricted GCD code into PetriNet with a QDAS step.