TY  - RPRT
TI  - A Note on Process Modelling: Combining Situation Calculus and Petri Nets
AU  - Edirlei Soares de Lima
AU  - Antonio L. Furtado
AU  - Bruno Feijó
AU  - Marco A. Casanova
PY  - 2022
DO  - 10.17771/pucrio.dimcc.59758
UR  - https://arxiv.org/abs/2207.00317
ID  - 2207.00317
ER  -