supported by the National Natural Science Foundation of China(61573199,61573200);the Tianjin Natural Science Foundation(14JCYBJC18700)
The reachability problem of synchronizing transitions bounded Petri net systems (BPNSs) is investigated in this paper by constructing a mathematical model for dynamics of BPNS. Using the semi-tensor product (STP) ...