A Petri net semantics for logic programs with negation | IEEE Conference Publication | IEEE Xplore