• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computers and Artificial Intelligence >ON VARIETIES OF DENSITY AND CROSSING PROPERTIES FOR EVENT STRUCTURES
【24h】

ON VARIETIES OF DENSITY AND CROSSING PROPERTIES FOR EVENT STRUCTURES

机译：事件结构的密度和交越特性研究

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We study prime event structures as models for nondeterministic processes and some of their properties known as discreteness, density and crossing. These properties allow inconsistency to be avoided between syntactic and semantic representations of processes. A number of close relationships between different density and crossing concepts is established. It has turned out that in an M-dense event structure all of the executions are completely 'successful' (i.e. at least one successor (if it exists) for any event occuring in the execution must also occur).
机译：我们研究主要事件结构作为非确定性过程及其某些特性的模型，这些特性称为离散性，密度和交叉。这些属性可以避免过程的语法表示和语义表示之间的不一致。在不同密度和交叉概念之间建立了许多紧密的关系。事实证明，在M密集事件结构中，所有执行都是完全“成功”的（即，对于执行中发生的任何事件，也必须至少发生一个继任者（如果存在））。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号