On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets

Raymond R. Devillers, Ronny Tredup. On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets. Fundamenta Informaticae, 189(3-4):261-296, 2022. [doi]

Abstract

Abstract is missing.