Before revision:  Our motivation was to verify the conjecture that in durational setting, the bisimulation equivalence checking problem becomes more tractable  (which is the case, e.g., over communication-free nets).
After revision:  Our motivation was to verify the conjecture that in durational setting, the bisimulation equivalence checking problem becomes more tractable than in ordinary setting (which is the case, e.g., over communication-free nets).