Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi. On service orchestration of cyber physical system and its verification based on Petri net. In IEEE 5th Global Conference on Consumer Electronics, GCCE 2016, Kyoto, Japan, October 11-14, 2016. pages 1-4, IEEE, 2016. [doi]
Abstract is missing.