Petri-Nets and its applications = Lưới petri và áp dụng của nó - Tran Tho Chau.