Analysis of modularly composed nets by siphons | IEEE Journals & Magazine | IEEE Xplore