首页> 外文OA文献 >Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

【2h】

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

机译：时间Petri网的象征性表示高效界限模型检查

代理获取

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

页面导航

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

著录项

作者
Nao IGAWA; Tomoyuki YOKOGAWA; Sousuke AMASAKI; Masafumi KONDO; Yoichiro SATO; Kazutami ARIMOTO;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking [J] . Nao IGAWA, Tomoyuki YOKOGAWA, Sousuke AMASAKI, IEICE transactions on information and systems . 2020,第3期

机译：时间Petri网的象征性表示高效界限模型检查
2. A More Efficient Time Petri Net State Space Abstraction Useful To Model Checking Timed Linear Properties [J] . Hanifa Boucheneb, Hind Rakkay Fundamenta Informaticae . 2008,第4期

机译：效率更高的时间Petri网状态空间抽象可用于对定时线性属性进行模型检查
3. Bounded model checking of Time Petri Nets using SAT solver [J] . Hisashi Miyazaki, Kazutami Arimoto, Masafumi Kondo, IEICE Electronics Express . 2015,第2期

机译：使用SAT求解器的时间培养网的有界模型检查
4. Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra [C] . Adrian Godde, Anne Remke European performance engineering workshop . 2017

机译：使用Nef多面体在混合Petri网上检查STL有时间限制的模型
5. Comparison of encoding schemes for symbolic model checking of bounded petri nets. [D] . Arora, Nishtha. 2010

机译：有界Petri网的符号模型检查的编码方案比较。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. Comparison of encoding schemes for symbolic model checking of bounded petri nets [O] . Arora, Nishtha 2010

机译：有界Petri网符号模型检验编码方案的比较。
8. Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets [R] . Heljanko, K. 2002

机译：结合符号和偏序方法进行模型检查1-安全petri网

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅