ByNobleID
    Modeling and analysis of a virtual reality system with time Petri nets | NobleID