“…Taking advantage of STP, the logical form of BNs (or BCNs) can be converted to an algebraic representation, which enables algebraic operations to be applied to the investigation of BNs (or BCNs). STP facilitates the exploration of a number of essential and significant properties enjoyed by BNs and BCNs, such as fixed points, cycles, and basin of attractors of BNs (or BCNs) (Cheng et al, 2010b), as well as some control problems, i.e., disturbance decoupling (Liu Y et al, 2017), controllability (Lu et al, 2016;Zhu QX et al, 2019), observability (Cheng and Qi, 2009;Fornasini and Valcher, 2012), optimal control (Zhu QX et al, 2018), output tracking control (Li YY et al, 2019), network synchronization (Li FF and Yu, 2016), and stabilization (Lu et al, 2018b;Li BW et al, 2019;Sun et al, 2020).…”