Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks.

Zhibin Jiang, Ming Jian Zuo

Browse the full SMC paper archive.