An incremental verification technique using decomposition of Petri nets | IEEE Conference Publication | IEEE Xplore