首页> 外文OA文献 >Validation of biological models with Temporal logic and Timed Hybrid Petri nets

【2h】

Validation of biological models with Temporal logic and Timed Hybrid Petri nets

机译：用时间逻辑和定时混合Petri网验证生物模型

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Troncale Sylvie; Comet Jean-Paul; Bernot Gilles;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Extended Time Petri Net and Hybrid Petri Net : Modeling Multi-Instance Dynamic Hybrid Systems [J] . Yamen El Touati, Mohamed Ayari, Saleh Altowaijri International journal of computer science and network security . 2018,第5期

机译：扩展时间Petri网和混合Petri网：建模多实例动态混合系统
2. Modelling and control of a multimodal transportation system using hybrid Petri nets with fuzzy logic [J] . Faiza Mahi, Ahmed Nait-Sidi-Moh, Fatima Debbat, International journal of systems,control and communications . 2013,第3a4期

机译：基于模糊逻辑的混合Petri网的多式联运系统建模与控制
3. Software architectural modelling and verification: a Petri net and temporal logic approach [J] . Jiacun Wang, Xianzhong Zhou, Junhua Ding Transactions of the Institute of Measurement and Control . 2011,第1期

机译：软件体系结构建模和验证：Petri网和时态逻辑方法
4. Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets [C] . Troncale, S., Comet, Engineering in Medicine and Biology Society, 2007 Annual International Conference of the IEEE . 2007

机译：用时间逻辑和定时混合Petri网验证生物模型
5. Real-time system specification and analysis using Petri nets and temporal logics. [D] . Yang, Jenn-Hwa. 1995

机译：使用Petri网和时间逻辑进行实时系统规范和分析。
6. Hybrid modeling of biological networks: mixing temporal and qualitative biological properties [O] . Jonathan Fromentin, Damien Eveillard, Olivier Roux 2010

机译：生物网络的混合建模：混合时间和定性生物学特性
7. Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets [O] . Sylvie Troncale, Jean-paul Comet, Gilles Bernot 2007

机译：使用时间逻辑和定时混合petri网验证生物模型
8. Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints. [R] . Latvala, T. 2001

机译：具有公平约束的petri网线性时态逻辑性质模型检验。

Validation of biological models with Temporal logic and Timed Hybrid Petri nets

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅