On service orchestration of cyber physical system and its verification based on Petri net | IEEE Conference Publication | IEEE Xplore