Decomposition of Nets and Verification in terms of Decomposition | IEEE Conference Publication | IEEE Xplore