On structuring mechanisms for Petri nets based system design | IEEE Conference Publication | IEEE Xplore