ByNobleID
    Usage of Petri nets for distributed transactions modeling | NobleID