Modeling and Analysis of Medical Resource Sharing and Scheduling for Public Health Emergencies based on Petri Nets | IEEE Conference Publication | IEEE Xplore