Minimal time reachability problem of some subclasses of timed Petri nets.

Atsushi Ohta, Kohkichi Tsuji, Tomiji Hisamura

Browse the full ISCAS paper archive.