Research of the Verification in Workflow Process Modeling on the Application of Petri Nets | IEEE Conference Publication | IEEE Xplore