Search
 
loader loading subjects...
cover
SCOPE: A Situation Calculus Ontology of Petri Nets
Xing Tan
227 - 240
10.3233/978-1-60750-535-8-227
Frontiers in Artificial Intelligence and Applications
Volume 209: Formal Ontology in Information Systems
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart