首页> 外文OA文献 >A polynomial-time algorithm to decide liveness of bounded free choice nets

【2h】

A polynomial-time algorithm to decide liveness of bounded free choice nets

机译：多项式时间算法，确定有界自由选择网的活跃度

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Esparza Javier; Silva Manuel;
展开▼
作者单位

展开▼
年度 1992
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets [J] . Somnath N., Sreenivas R.S. IEEE transactions on automation science and engineering . 2013,第4期

机译：一类部分控制的通用自由Petri网中确定生命力实施监督政策的存在
2. Bounded choice-free Petri net synthesis: algorithmic issues [J] . Best Eike, Devillers Raymond, Schlachter Uli Acta Informatica . 2018,第7期

机译：有界的无选择Petri网综合：算法问题
3. Polynomial Time Decidability of Monotone Liveness of Time Bounded AC/DC Nets [J] . Atsushi Ohta, Kohkichi Tsuji IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . 2001,第11期

机译：有时间限制的AC / DC网络单调活跃度的多项式时间可判定性
4. A polynomial-time algorithm for deciding equivalence of normed context-free processes [C] . Hirshfeld, Y., Jerrum, Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on . 1994

机译：确定规范上下文无关过程的等价性的多项式时间算法
5. The bounded linear calculus: A characterization of the class of polynomial-time computable functions based on bounded linear logic [D] . Pitt, Francois 1994

机译：有界线性演算：基于有界线性逻辑的多项式时间可计算函数的表征
6. Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks [O] . Koichi Kobayashi, Jun-Ichi Imura, Kunihiko Hiraishi 2010

机译：一类布尔生物网络可控制性测试的多项式时间算法
7. An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets [O] . Peter Kemper And, Peter Kemper, Falko Bause 1992

机译：一种有效的多项式时间算法决定自由选择网络的生存性和有界性

A polynomial-time algorithm to decide liveness of bounded free choice nets

著录项

引文网络

相似文献

相关主题

期刊订阅