SCOPE: A Situation Calculus Ontology of Petri Nets

Authors:
Xing Tan
Affiliations:
Semantic Technologies Laboratory, Department of Mechanical and Industrial Engineering, University of Toronto
Venue:
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Year:
2010

Citing 5
Cited 1

Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Petri Nets and Other Models of Concurrency

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Analysis and simulation of Web services

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Knowledge Representation and Reasoning

Knowledge Representation and Reasoning

Go beyond the SCOPE: a temporal situation calculus-based software tool for time petri nets

IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

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.