Structural analysis of Petri nets with batch processing arcs.

Atsushi Ohta, Chihiro Kato, Kohkichi Tsuji

Browse the full ISCAS paper archive.