A Structure Causality Relation for Liveness Characterisation in Petri Nets

Belhassen Zouari

首页> 外文期刊>Journal of Universal Computer Science >A Structure Causality Relation for Liveness Characterisation in Petri Nets

【24h】

A Structure Causality Relation for Liveness Characterisation in Petri Nets

机译：Petri网中活度表征的结构因果关系

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topological characterisation of liveness in Petri nets is defined. This characteri

机译：使用基于结构的方法表征活动性是Petri网理论中的关键问题。在本文中，我们介绍了一种结构因果关系，从中定义了Petri网中生命活动的拓扑特征。这个特征

著录项

来源
《Journal of Universal Computer Science》 |2006年第2期|共19页
作者
Belhassen Zouari;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets [J] . Ramavarapu S. Sreenivas Automatica . 1998,第12期

机译：将独立的，增长的，自由选择的Petri网应用到在任意Petri网中强制执行生命活动的策略的综合中
2. On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets [J] . Deverakonda V., Sreenivas R.S. Automatic Control, IEEE Transactions on . 2015,第7期

机译：一类通用Petri网中增强生命力的监管政策的信息结构
3. Causality assessment in drug-induced liver injury using a structured expert opinion process: comparison to the Roussel-Uclaf causality assessment method. [J] . Rockey DC, Seeff LB, Rochon J, Hepatology: Official Journal of the American Association for the Study of Liver Diseases . 2010,第6期

机译：使用结构性专家意见调查过程评估药物性肝损伤的因果关系：与Roussel-Uclaf因果关系评估方法进行比较。
4. Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets [C] . Eike Best, Raymond Devillers International conference on language and automata theory and applications . 2014

机译：实心和有界标记图Petri网的状态空间的刻画
5. ANALYSIS OF DISTRIBUTED SYSTEM SOFTWARE DESIGN BASED ON STRUCTURED PETRI NET MODEL (PERFORMANCE, PETRI NET) [D] . CHOU, CHING-ROUNG 1986

机译：基于结构化PETRI NET模型（性能，PETRI NET）的分布式系统软件设计分析
6. Causality Assessment in Drug-Induced Liver Injury Using a Structured Expert Opinion Process: Comparison to the Roussel-Uclaf Causality Assessment Method [O] . Don C. Rockey, Leonard B. Seeff, James Rochon, -1

机译：因果关系评估在药物诱导的肝损伤使用结构化的专家意见过程：比较于鲁塞尔-优克福因果关系评价方法
7. An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets [O] . Ramavarapu S. Sreenivas 1998

机译：独立，增加，自由选择petri网在任意petri网中强制生存策略综合中的应用
8. Causality in Extension of Petri Nets [R] . Kleijn, J., Koutny, M. 2011

机译：petri网扩展的因果关系

A Structure Causality Relation for Liveness Characterisation in Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅