OpenAlex
Verification of C-detectability using Petri nets
Work