Timed petri-nets           　

     =    

    <, <=, >=, > 

    ?