Management system process modeling based on Petri nets and WF-Net | IEEE Conference Publication | IEEE Xplore