首页> 外文会议>International conference on language and automata theory and applications >Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets

【24h】

Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets

机译：实心和有界标记图Petri网的状态空间的刻画

获取原文

页面导航

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

摘要

The structure of the reachability graph of a live and bounded marked graph Petri net is fully characterised. A dedicated synthesis procedure is presented which allows the net and its bounds to be computed from its reachability graph.

机译：实时描绘了有界和有界标记图Petri网的可达性图的结构。提出了一种专用的合成程序，该程序允许从网络的可达性图中计算出网络及其边界。

著录项

来源
《International conference on language and automata theory and applications 》|2014年|161-172|共12页
会议地点
作者
Eike Best; Raymond Devillers;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Petri nets; region theory; system synthesis; transition systems;

机译：培养皿;区域理论系统综合过渡系统;

相似文献

外文文献
中文文献
专利

1. Characterisation of the state spaces of marked graph Petri nets [J] . Eike Best, Raymond Devillers Information and computation . 2017 ,第PTa3期

机译：标记图Petri网状态空间的刻画
2. A Structure Causality Relation for Liveness Characterisation in Petri Nets [J] . Belhassen Zouari Journal of Universal Computer Science . 2006 ,第2期

机译：Petri网中活度表征的结构因果关系
3. Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods" [J] . Xiaolan Xie, Giua A. IEEE Transactions on Automatic Control . 2004 ,第7期

机译：“使用偏序方法对有界普通Petri网进行生命增强监管”的反例
4. Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets [C] . Eike Best, Raymond Devillers International Conference on Languauge and Automata Theory and Applications . 2014

机译：现场和有界标记图Petri网的状态空间的特征
5. Cycle space: Cycle bases, signed graphs and marked graphs [D] . Xu, Shaoji 1998

机译：循环空间：循环基数，带符号的图和标记的图
6. The masticator space. Value of computed tomography and magnetic resonance imaging in localisation and characterisation of lesions [O] . F Galli, N Flor, C Villa, 2010

机译：咀嚼器空间。计算机断层扫描和磁共振成像在病变定位和表征中的价值
7. Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs [O] . Chao Gu, Ziyue Ma, Zhiwu Li, 2021

机译：基础可达性图的有界Petri网的非阻塞验证

Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅