ByNobleID
    Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets | NobleID