Verification in concurrent programming with Petri nets structural techniques | IEEE Conference Publication | IEEE Xplore