A P systems variant for reasoning about sequential controllability of Boolean networks. - Artiom Alhazov; Vincent Ferrari-Dominguez; Rudolf Freund; Nicolas Glade; Sergiu Ivanov 001 (Theor. Comput. Sci., 2023)