Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks | IEEE Conference Publication | IEEE Xplore