Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo  (2018) Ontology-supported verification method for implementation of IoT service design with petri net.  In: UNSPECIFIED.