CHOUDHARY GAURAV

Method for verifying drone included in industrial internet of things system, by using petri-net modeling