Unfolding of time Petri nets for quantitative time analysis

机译：展开时间petri网进行定量时间分析

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Delfieu David; Sogbohossou Medesu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal model-based quantitative safety analysis using timed Coloured Petri Nets [J] . Wu Daohua, Zheng Wei Reliability Engineering & System Safety . 2018,第auga期

机译：使用定时有色Petri网的基于形式模型的定量安全性分析
2. Temporal Inference of Workflow Systems Based on Time Petri Nets: Quantitative and Qualitative Analysis [J] . Chuang Lin, Yang Qu International Journal of Intelligent Systems . 2004,第5期

机译：基于时间Petri网的工作流系统的时间推断：定量和定性分析
3. Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings [J] . Wang H., Grigore L., Buy U., Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on . 2011,第3期

机译：用网络展开来加强时间Petri网的周期性过渡期限
4. Timing Analysis of Cyclic Time Petri Net Using Relaxed Unfolding and Global Time Technique [C] . Franck Carlos Vlez Benito, Luis Allan Knzle IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications . 2015

机译：基于松弛展开和全局时间技术的循环时间Petri网时序分析
5. Supervisory control of time Petri nets using net unfoldings. [D] . Wang, Haisheng. 2010

机译：使用网络展开对时间Petri网进行监督控制。
6. Quasi-Steady-State Analysis based on Structural Modules and Timed Petri Net Predict System’s Dynamics: The Life Cycle of the Insulin Receptor [O] . Jennifer Scheidel, Klaus Lindauer, Jörg Ackermann, 2015

机译：基于结构模块和定时Petri网预测系统动力学的准稳态分析：胰岛素受体的生命周期
7. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets [O] . Chatain, Thomas, Jard, Claude 2005

机译：使用时间Petri网的符号展开的并发系统时间监督

Unfolding of time Petri nets for quantitative time analysis

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅