Sign in

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

Edirlei Soares de LimaAntonio L. FurtadoBruno 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