Petri net models for agricultural management tasks | IEEE Conference Publication | IEEE Xplore