Using Petri Net to Reason with Rule and OWL | IEEE Conference Publication | IEEE Xplore