Minimal time reachability problem of some subclasses of timed Petri nets. - Atsushi Ohta; Kohkichi Tsuji; Tomiji Hisamura (ISCAS (1), 2005)