?url_ver=Z39.88-2004&rft_id=10.1109%2FICCE-Berlin.2018.8576174&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Mohd+Anuaruddin+Bin&rft.au=Ahmadon%2C+Mohd+Anuaruddin+Bin&rft.aulast=Ahmadon&rft.date=2018&rft.issn=21666814&rft.title=Ontology-supported+verification+method+for+implementation+of+IoT+service+design+with+petri+net&rft.isbn=978-153866095-9&rft.genre=proceeding