首页> 外文OA文献 >Decidable problems on the strong connectivity of Petri net reachability sets

【2h】

Decidable problems on the strong connectivity of Petri net reachability sets

机译：有关Petri网可达性集的强连通性的决定性问题

代理获取

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

页面导航

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

著录项

作者
Araki Toshiro; Kasami Tadao;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Petri Net Reachability Graphs: Decidability Status of First Order Properties [J] . PhilippeDarondeau, StéphaneDemri, RolandMeyer, Logical Methods in Computer Science . 2012,第4期

机译：Petri网可达性图：一阶属性的可确定性状态
2. Petri Net Reachability Graphs: Decidability Status of First Order Properties [J] . PhilippeDarondeau, StéphaneDemri, RolandMeyer, Logical Methods in Computer Science . 2012,第4期

机译：Petri网可达性图：一阶属性的可确定性状态
3. Petri Net Reachability Graphs: Decidability Status of FO Properties [J] . Philippe Darondeau, St{e}phane Demri, Roland Meyer, LIPIcs : Leibniz International Proceedings in Informatics . 2011,第29期

机译：Petri网可达性图：FO属性的可确定性状态
4. Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems [C] . Valero Ruiz, V., de Frutos Escrig, Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on . 1991

机译：普通Petri网对定时Petri网的模拟及其在定时可达性问题和其他相关问题判定中的应用。
5. A Geometric Approach to Integer Optimization and Its Application for Reachability Analysis in Petri Nets. [D] . Gu, Shenshen. 2009

机译：整数优化的几何方法及其在Petri网可达性分析中的应用。
6. Nanoimaging and Control of Molecular Vibrations throughElectromagnetically Induced Scattering Reaching the Strong CouplingRegime [O] . Eric A. Muller, *, Benjamin Pollard, -1

机译：纳米成像和分子振动的控制电磁感应散射达到强耦合政权
7. On Non-Decidability of Reachability for Timed-Arc Petri Nets [O] . V. Valero Ruiz, David de Frutos Escrig, F. Cuartero Gomez 1999

机译：关于定时弧petri网可达性的不可判定性
8. Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets. [R] . Araki, T., Kasami, T. 1976

机译：petri网可达性集强连通性的可判定问题。

Decidable problems on the strong connectivity of Petri net reachability sets

著录项

引文网络

相似文献

相关主题

期刊订阅