On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net. - Roshanak Khaleghi; Ramavarapu S. Sreenivas (Discret. Event Dyn. Syst., 2021)