Semitraps and deadlock freeness for reduced asymmetric choice nets - Su, Li Sek (Universität, 2006)