A category of labelled Petri nets and compositional proof system | IEEE Conference Publication | IEEE Xplore