Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. - Elisabeth Pelz; Abderraouf Kabouche; Louchka Popova-Zeugmann (PNSE @ Petri Nets, 2015)