Insufficiently marked siphon of Petri nets - extension of token-free siphon.

Atsushi Ohta, Kohkichi Tsuji

Browse the full ISCAS paper archive.