Insufficiently marked siphon of Petri nets - extension of token-free siphon | IEEE Conference Publication | IEEE Xplore