Integration of IHE-Based Systems with Petri Net Workflow Management System | IEEE Conference Publication | IEEE Xplore