A Petri Net–based Framework for Smart Drug Assignment in Automated Dispensing Systems | Synapse