SCOPE: A Situation Calculus Ontology of Petri Nets

Tan

ontology situation calculus change action dynamics petri nets plans processes

@inproceedings{tan:fois-2010,
  title={{SCOPE}: A Situation Calculus Ontology of Petri Nets}
  author={Xing Tan},
  booktitle={Formal Ontology in Information Systems},
  pages={227--240},
  year={2010},
  publisher={{IOS} Press}
}

Defines Petri nets within situation calculus

• Sit calc drawn from Reiter
• Well done, fairly straightforward formulization

Applies theorem proving over Petri nets encoded in this formalization to determine properties

• Reachability, liveness, conflict-free, etc