Petri nets based procedure of hardware/software codesign of an urban agriculture monitoring system | IEEE Conference Publication | IEEE Xplore