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

Edirlei Soares de Lima Antonio L. Furtado Bruno Feijó Marco A. Casanova

Published in: CoRR (2022)

Keyphrases

petri net
situation calculus
process model
colored petri nets
discrete event systems
reasoning about actions
petri net model
initial state
concurrent processes