Representation of Petri net with OWL DL ontology | IEEE Conference Publication | IEEE Xplore