T. T. Châu, “Fuzzy Petri nets and a necessary condition of law of contraposition in fuzzy logic”., JCC, vol. 16, no. 3, pp. 23–31, Apr. 2013.