A Petri-Net-Based Approach for Enhancing Clinical Reasoning in Medical Education | IEEE Journals & Magazine | IEEE Xplore