Petri Net-Based Ontology Analysis Method for Indoor Location-Based Service System
This paper presents a Petri net based analysis of ontology for indoor location-based services. The proposed method builds up a Petri net model for the given ontology at the first step. Then, it analyzes the Petri net model by running the simulation on it. The proposed method of building a Petri net model for the given ontology is given in the paper. Then algorithms of performing inferences on the Petri net are proposed. The authors' proposed method is applied on a simple ontology for a sample Indoor Location-based service.