The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming | IEEE Conference Publication | IEEE Xplore