SCOPE: A Situation Calculus Ontology of Petri Nets
Xing Tan · Frontiers in artificial intelligence and applications · 2010
By axiomatizing the semantics of Petri nets as a first-order (mostly) formal ontology called SCOPE, we propose in this paper a framework for the analysis of the structural and dynamical properties of Petri nets. More precisely, SCOPE is built as a Basic Action Theory in Reiter's version of situation calculus. In addition, we show the satisfiability of SCOPE, by virtue of the Relative Satisfiability Theorem. Fundamental structural and dynamical properties of Petri nets described in SCOPE are also presented, with two example uses of SCOPE given.