Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains

机译：使用antiChains序列表示的间隔令建模运营语义

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

A representation of interval orders by sequences of antichains is discussed and its relationship to the Fishburn's representation by sequences of beginnings and endings is analyzed in detail. Using sequences of antichains to model operational semantics of elementary inhibitor nets is also discussed.

机译：讨论了Antichains序列的间隔顺序的表示，并详细分析了开始和结束的序列与渔民的关系。还讨论了使用抗肾功能序列的基本抑制剂网的模型操作语义。

著录项

来源
《International Conference on Application and Theory of Petri Nets and Concurrency》|2018年|425p|共21页
会议地点
作者
Ryszard Janicki;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP393-53;
关键词
Interval orders; Operational semantics Elementary inhibitor nets; Sequences of antichains; Interval sequences;

机译：间隔订单;操作语义基本抑制剂网;抗铬序列;间隔序列;

相似文献

外文文献
中文文献
专利

1. Operational Semantics, Interval Orders and Sequences of Antichains [J] . Janicki Ryszard, Koutny Maciej Fundamenta Informaticae . 2019,第1a2期

机译：Antichains的操作语义，间隔顺序和序列
2. An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations [J] . Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz Procedia Computer Science . 2015,第1期

机译：模型转换支持的UML 2序列图的操作语义
3. Re-Representing Metaphor: Modeling Metaphor Perception Using Dynamically Contextual Distributional Semantics [J] . McGregor Stephen, Agres Kat, Rataj Karolina, Frontiers in Psychology . 2019,第2期

机译：重新代表隐喻：使用动态上下文分布语义建模隐喻感知
4. Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains [C] . Ryszard Janicki International conference on application and theory of petri nets and concurrency . 2018

机译：以反链序列表示的间隔顺序对操作语义建模
5. A Refined Depositional Sequence Stratigraphic and Structural Model for the Reservoir and Caprock Intervals at the Farnsworth Unit, Ochiltree County TX [D] . Rose-Coss, Dylan. 2017

机译：德克萨斯州奥奇特里县法恩斯沃思单元储层和盖层间期的精细沉积层序地层和结构模型
6. Detailed Clinical Models: Representing Knowledge Data and Semantics in Healthcare Information Technology [O] . William T. F. Goossen 2014

机译：详细的临床模型：代表医疗保健信息技术中的知识数据和语义
7. An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations [O] . Messaoudi Nabil, Chaoui Allaoua, Bettaz Mohamed 2015

机译：模型转换支持的UML 2序列图的操作语义

Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains

摘要

著录项

相似文献

相关主题

期刊订阅