The top documents tagged [time petri netsdefinition]
Model checking of time petri nets
537 views