Software support for teaching Petri nets: P3 | IEEE Conference Publication | IEEE Xplore