Petri net-based parallel model checking with a splitting procedure | IEEE Conference Publication | IEEE Xplore