首页> 外文OA文献 >PCX: A Translation Tool from PROMELA/Spin to the C-Based Stochastic Petri Net Language

【2h】

PCX: A Translation Tool from PROMELA/Spin to the C-Based Stochastic Petri Net Language

机译：pCX：从pROmELa / spin到基于C的随机petri网语言的翻译工具

代理获取

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

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes [J] . K.-S. CHIN, X. ZU, C. K. MOK, International Journal of Production Research . 2006,第16期

机译：集成集成定义语言0（IDEF）和有色Petri网（CPN）建模和仿真工具：模具制造过程的研究
2. Bayesian Stochastic Petri Nets (BSPN) - A new modelling tool for dynamic safety and reliability analysis [J] . Taleb-Berrouane Mohammed, Khan Faisal, Amyotte Paul Reliability Engineering & System Safety . 2020,第Jana期

机译：贝叶斯随机Petri网（BSPN）-用于动态安全性和可靠性分析的新建模工具
3. An energy modeling and evaluation approach for machine tools using generalized stochastic Petri Nets [J] . Xie Nan, Duan Minglei, Chinnam Ratna Babu, Journal of Cleaner Production . 2016,第Feba1期

机译：基于广义随机Petri网的机床能量建模与评估方法
4. TOMSPIN-a Tool for Modelling with Stochastic Petri Nets [C] . Thurner E.M. Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on . 1995

机译：TOMSPIN-使用随机Petri网建模的工具
5. Marking optimization of stochastic time Petri net using stochastic programming. [D] . Ahn, Changbo. 2003

机译：使用随机规划对随机时间Petri网进行标记优化。
6. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets [O] . Peter J. E. Goss, Jean Peccoud 1998

机译：利用随机Petri网对分子生物学中的随机系统进行定量建模
7. A general translation from nested Petri nets into PROMELA [O] . Venero, Mirtha Lina Fernández, da Silva, Flávio Soares Corrêa 2014

机译：从嵌套petri网到pROmELa的一般翻译

PCX: A Translation Tool from PROMELA/Spin to the C-Based Stochastic Petri Net Language

著录项

引文网络

相似文献

相关主题

期刊订阅