References & Citations
Computer Science > Artificial Intelligence
Title: Logic Programming Petri Nets
(Submitted on 26 Jan 2017 (this version), latest version 31 Jul 2020 (v2))
Abstract: With the purpose of modeling, specifying and reasoning in an integrated fashion with procedural and declarative aspects (both commonly present in cases or scenarios), the paper introduces Logic Programming Petri Nets (LPPN), an extension to the Petri Net notation providing an interface to logic programming constructs. Two semantics are presented. First, a hybrid operational semantics that separates the process component, treated with Petri nets, from the constraint/terminological component, treated with Answer Set Programming (ASP). Second, a denotational semantics maps the notation to ASP fully, via Event Calculus. These two alternative specifications enable a preliminary evaluation in terms of reasoning efficiency.
Submission history
From: Giovanni Sileno [view email][v1] Thu, 26 Jan 2017 11:21:50 GMT (23kb)
[v2] Fri, 31 Jul 2020 23:08:48 GMT (443kb,D)
Link back to: arXiv, form interface, contact.