Formal Foundations for Controlled Stochastic Activity Networks

Ali Movaghar

We introduce Controlled Stochastic Activity Networks (Controlled SANs), a formal extension of classical Stochastic Activity Networks that integrates explicit control actions into a…