Input/Output具有紧急性的随机自动机：合流和弱确定性
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism
摘要：
在以前的工作中，我们介绍了随机自动机（IOSA）的输入/输出变体，一旦模型关闭（即，所有的同步都被解决了），则所得到的自动机是完全随机的，也就是说，它不包含非确定性的选择。然而，这种变体对于成分建模来说不够通用。在本文中，我们通过紧急行动扩展了IOSA。这种扩展极大地提高了模型的模块化，允许比其前身更好地利用组合性。然而，这种扩展甚至在封闭模型中也引入了非确定性。我们首先表明，合流模型是弱确定性的意义上说，无论决议的非确定性，随机行为是相同的。此外，我们提供了充分的条件，以确保网络的互动IOSA是融合的，而不需要获得组成的IOSA。
英文摘要：
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 automaton is fully stochastic, that is, it does not contain non-deterministic choices. However, such variant is not sufficiently versatile for compositional modelling. In this article, we extend IOSA with urgent actions. This extension greatly increases the modularization of the models, allowing to take better advantage on compositionality than its predecessor. However, this extension introduces non-determinism even in closed models. We first show that confluent models are weakly deterministic in the sense that, regardless the resolution of the non-determinism, the stochastic behaviour is the same. In addition, we provide sufficient conditions to ensure that a network of interacting IOSAs is confluent without the need to obtain the composed IOSA.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
