首页> 外文OA文献 >A Method for Generating a Firing Sequence for the Reachability Problem of Petri Nets

【2h】

A Method for Generating a Firing Sequence for the Reachability Problem of Petri Nets

机译：一种用于生成培养物网络可达性问题的烧制序列的方法

代理获取

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

页面导航

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

著录项

作者
Nobumichi ISHIDO; Tomiji HISAMURA;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Reachability and Firing Sequences of Homogeneous Synchronized Choice Petri Nets [J] . DANIEL Y. CHAO Journal of information science and engineering . 2005,第1期

机译：齐次同步选择Petri网的可达性和发射序列
2. Solvability for The Maximum Legal Firing Sequence Problem of Inhibitor-Arc Petri nets Unweighted/Weighted Conflict-Free Petri nets [J] . Satoshi TAOKA, Satoru OCHIIWA, Toshimasa WATANABE 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2013,第422期

机译：抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
3. Solvability for The Maximum Legal Firing Sequence Problem of Inhibitor-Arc Petri nets Unweighted/Weighted Conflict-Free Petri nets [J] . Satoshi TAOKA, Satoru OCHIIWA, Toshimasa WATANABE 電子情報通信学会技術研究報告. システム数理と応用. Mathematical Systems Science and its Applications . 2013,第421期

机译：抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
4. A new method for finding firing sequences for the reachability problem of Petri nets by using a linear programming technique [C] . Fujii, Y., Sekiguchi, Industrial Electronics, 1994. Symposium Proceedings, ISIE '94., 1994 IEEE International Symposium on . 1994

机译：用线性规划技术找到Petri网可达性问题的触发序列的新方法
5. A Geometric Approach to Integer Optimization and Its Application for Reachability Analysis in Petri Nets. [D] . Gu, Shenshen. 2009

机译：整数优化的几何方法及其在Petri网可达性分析中的应用。
6. Suppl 1: Internet-Based Methods May Reach Higher-Risk Men who have Sex withMen Not Reached Through Venue-Based Sampling [O] . Travis Sanchez, Amanda Smith, Damian Denson, 2012

机译：补充1：基于互联网的方法可能会招致高风险男人未通过基于场地的采样到达的人
7. A method for finding firing sequences for the reachability problem of Petri nets with mathematical programming technique [O] . Yasumasa Fujii, Takashi Sekiguchi 1996

机译：用数学规划技术查找培养网可达性问题的射击序列的方法
8. The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems, [R] . hack,michel 1975

机译：petri网和向量加法系统的可达性问题与活跃度问题的递推等价性，

A Method for Generating a Firing Sequence for the Reachability Problem of Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅