Return to Article Details Verification of the hexagonal communication grid by infinite Petri nets Download Download PDF