ByNobleID
    Non-interleaving approach to the modeling and specification issues of concurrent DES | NobleID