A new deadlock prevention method for a Petri net modeling the functionality of a hospital

From MaRDI portal
Publication:2835151