Toolkit for Healthcare Professionals: A Colored Petri Nets Based Approach for Modeling and Simulation of Healthcare Workflows. - Vijay Gehlot; Jake Robinson; Manisha Tanwar; Elliot B. Sloane; Nilmini Wickramasinghe (WSC, 2021)