Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation