Zhibin Jiang, Ming Jian Zuo: Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks. SMC 1998: 55-60