Towards analysing a class of object Petri nets | IEEE Conference Publication | IEEE Xplore