首页> 外文OA文献 >Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

【2h】

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

机译：基于展开的高级陪替氏网络并行LTL-X模型检查

代理获取

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

页面导航

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

著录项

作者
Claus Schröter; Victor Khomenko;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. High-Level Petri Net Model Checking with AlPiNA [J] . Steve Hostettler, Alexis Marechal, Alban Linard, Fundamenta Informaticae . 2011,第3a4期

机译：使用AlPiNA进行高级Petri网模型检查
2. A new class of a high-level petri net for modelling logical OR efficiently: coloured AND/OR Petri nets (CARPN) [J] . Latif Salum 20f International Journal of Production Research . 2000,第18期

机译：用于高效建模逻辑或的新型高级Petri网：彩色AND / OR Petri网（CARPN）
3. B~2 model: A browsing behavior model based on High-Level Petri Nets to generate behavioral patterns for e-learning [J] . Yi-Chun Chang, Ying-Chia Huang, Chih-Ping Chu Expert systems with applications . 2009,第10期

机译：B〜2模型：一种基于高级Petri网的浏览行为模型，用于生成用于电子学习的行为模式
4. Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings [C] . Claus Schroeter, Victor Khomenko Computer Aided Verification . 2004

机译：基于展开的高级陪替氏网络并行LTL-X模型检查
5. Comparison of encoding schemes for symbolic model checking of bounded petri nets. [D] . Arora, Nishtha. 2010

机译：有界Petri网的符号模型检查的编码方案比较。
6. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
7. Model checking based on prefixes of petri net unfoldings [O] . Khomenko Victor 2003

机译：基于petri网展开前缀的模型检验
8. Computing Science: Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings [R] . Madalinski, A., Khomenko, V. 2011

机译：计算科学：基于petri网展开的并行LTL-X模型检验的可预测性验证

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

著录项

引文网络

相似文献

相关主题

期刊订阅