A Note on Process Modelling: Combining Situation Calculus and Petri Nets

Edirlei Soares de Lima, Antonio L. Furtado, Bruno Feijó +1

The situation calculus logic model is convenient for modelling the actions that can occur in an information system application. The interplay of pre-conditions and post-conditions…