(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
Namespace List
Here is a list of all documented namespaces with brief descriptions:
 Netvo
 NgraphicPR