Use of Petri nets in assembly definition | IEEE Conference Publication | IEEE Xplore