Adaptive prompting based on Petri Net in a Smart medication system | IEEE Conference Publication | IEEE Xplore