A Petri net model of an integrated system for the Health Care At Home management | IEEE Conference Publication | IEEE Xplore