ByNobleID
    Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems | NobleID