Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets