Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi. Ontology-Supported Verification Method for Implementation of IoT Service Design with Petri Net. In 8th IEEE International Conference on Consumer Electronics - Berlin, ICCE-Berlin 2018, Berlin, Germany, September 2-5, 2018. pages 1-6, IEEE, 2018. [doi]
Abstract is missing.