Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation