Finite Unfoldings of Unbounded Petri Nets

机译：无穷Petri网的有限展开

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

The aim of this paper is to introduce a concept for an efficient representation of the behavior of an unbounded Petri net. This concept combines a known method for the description of unbounded Petri nets, namely coverability trees, with an efficient, partial order based method developed for bounded Petri nets, namely Petri net unfoldings.

机译：本文的目的是介绍一种有效表示无界Petri网行为的概念。该概念将用于描述无界陪替氏网络（即可覆盖性树）的已知方法与为有界陪替氏网络（即陪替氏网络展开）开发的有效的基于部分顺序的方法相结合。

著录项

来源
《International Conference on Applications and Theory of Petri Nets 2004(ICATPN 2004); 20040621-20040625; Bologna; IT》|2004年|P.157-176|共20页
会议地点 Bologna(IT);Bologna(IT)
作者
Joerg Desel; Gabriel Juhas; Christian Neumair;
展开▼
作者单位

Lehrstuhl fuer Angewandte Informatik Katholische Universitaet Eichstaett-Ingolstadt Ostenstr. 28, 85071 Eichstaett, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Deadlock detection-oriented unfolding of unbounded Petri nets [J] . Lu Faming, Tao Ranran, Du Yuyue, Information Sciences: An International Journal . 2019,第期

机译：死锁检测导向无限的培养网的展开
2. Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings [J] . Agnes Madalinski, Eric Fabre Fundamenta Informaticae . 2009,第1期

机译：Petri网展开的有限和完全前缀的模块化构造
3. ON-THE-FLY DIAGNOSABILITY ANALYSIS OF BOUNDED AND UNBOUNDED LABELED PETRI NETS USING VERIFIER NETS [J] . Li Ben, Khlif-Bouassida Manel, Toguyeni Armand International Journal of Applied Mathematics and Computer Science . 2018,第2期

机译：使用验证器网络对有界和无界有标签Petri网进行实时诊断性分析
4. Finite Unfoldings of Unbounded Petri Nets [C] . Jorg Desel, Gabriel Juhas, Christian Neumair International Conference on Application and Theory of Petri Nets . 2004

机译：有限的培养网的有限展开
5. Supervisory control of time Petri nets using net unfoldings. [D] . Wang, Haisheng. 2010

机译：使用网络展开对时间Petri网进行监督控制。
6. Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets [O] . Ina Koch, Joachim Nöthen, Enrico Schleiff 2017

机译：模拟拟南芥的代谢：网络分解和网络还原在Petri网中的应用
7. Unfoldings of Unbounded Petri Nets [O] . Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén 2000

机译：无界陪替氏网的展开
8. Efficient Algorithm for Unfolding Petri Nets [R] . Khomenko, V. , Koutny, M. 2002

机译：一种有效的展开petri网的算法

Finite Unfoldings of Unbounded Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅