Automatic Sharing Synthesis of Petri Nets Based on Semantics
Zhang Zheng-ming · Jisuanji fangzhen · 2012
A new method to carry out automatic sharing synthesis of Petri nets based on semantic technology was proposed.On the basis of domain ontology,semantic markups were added to all place elements of each Petri net.According to the given rules,place elements that could be integrated were located through ontology querying and reasoning.And then the synthesis of Petri nets could be realized.At last,the method to automatically get Petri net model of web services composition was discussed with online book-shopping service composition,and its correctness and feasibility were also verified.