We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 2207.00317 can endorse.

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

Marco Antonio Casanova: Is registered as an author of this paper.
Not currently an endorser. (why?)

Edirlei Soares de Lima, Antonio L. Furtado and Bruno Feijó are not registered as owners of this paper. (why?)