Input/Output Stochastic Automata with Urgency: Confluence and weak determinism

Pedro R. D'Argenio, Raúl E. Monti

In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting auto…