Châu, T. T. Fuzzy Petri Nets and a Necessary Condition of Law of Contraposition in Fuzzy Logic. JCC 2013, 16, 23-31.