Process Definition and Property Analysis in Workflow Systems Using Petri Nets and Software Component Technology | IEEE Conference Publication | IEEE Xplore