首页> 外文OA文献 >Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

【2h】

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

机译：时间 - 弧形petri网模型检验的区间抽象细化

页面导航

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

著录项

作者
Sine Viesmose Birch; Thomas Stig Jacobsen; Jacob Jon Jensen; Niels Nørgaard Samuelsen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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网状态空间抽象可用于对定时线性属性进行模型检查
2. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement [J] . Sumit Kumar Jha, Christopher James Langmead Theoretical computer science . 2011,第21期

机译：利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
3. Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model [J] . Hanifa Boucheneb Computacion y Sistemas . 2006,第2期

机译：检查间隔定时有色Petri网模型的无定时和定时线性特性
4. Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets [C] . Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, International conference on formal modeling and analysis of timed systems . 2014

机译：定时弧Petri网模型检查的区间抽象改进
5. Efficient Abstraction and Refinement for Word-level Model Checking [D] . Ho, Yen-Sheng. 2017

机译：用于字级模型检查的高效抽象和改进
6. Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking [O] . David Gilbert, Monika Heiner, Leila Ghanbar, 2019

机译：使用彩色混合Petri网和模拟模型检查的空间群体感应建模
7. Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets [O] . Viesmose Sine Lyhne, Jacobsen Thomas Stig, Jensen Jacob Jon, 2014

机译：时间 - 弧形petri网模型检验的区间抽象细化

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅