Ontology-Supported Verification Method for Implementation of IoT Service Design with Petri Net.

Mohd Anuaruddin Bin Ahmadon Shingo Yamaguchi

Published in: ICCE-Berlin (2018)

Keyphrases

petri net
service composition
verification method
petri net model
web service composition
management system
design process
discrete event systems
mobile devices
holonic manufacturing systems
programmable logic controller
knowledge based systems
cloud computing
manufacturing systems
service oriented architecture