AN EFFICIENT METHOD FOR UNFOLDING COLORED PETRI NETS

机译：一种有效的有色petri网展开方法

代理获取

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

页面导航

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

著录项

作者
C. Laroque; J. Himmelspach; R. Pasupathy; O. Rose; A. M. Uhrmacher; Fei Liu; Monika Heiner; Ming Yang;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. AN EFFICIENT METHOD FOR UNFOLDING COLORED PETRI NETS [J] . Fei Liu, Monika Heiner, Ming Yang Proceedings of the Workshop on Principles of Advanced and Distributed Simulation . 2012,第CDaROM期

机译：一种展开彩色Petri网的有效方法
2. MORE EFFICIENT ON-THE-FLY VERIFICATION METHODS OF COLORED PETRI NETS [J] . He Cong, Ding Zhijun Computing and informatics . 2021,第1期

机译：更有效的彩色Petri网的动态验证方法
3. Efficient discrete-event simulation of colored Petri nets [J] . Gaeta R. IEEE Transactions on Software Engineering . 1996,第9期

机译：有色Petri网的高效离散事件模拟
4. An efficient method for unfolding colored Petri nets [C] . Liu Fei, Heiner Monika, Yang Ming 2012 Winter Simulation Conference : WSC Goes Europe. . 2012

机译：展开有色Petri网的有效方法
5. Efficient methods for verification and performance evaluation of concurrent systems by Petri nets. [D] . Kovalyov, Andrei. 2002

机译：用Petri网验证并发系统的有效方法。
6. A computational approach based on the colored Petri net formalism for studying multiple sclerosis [O] . Simone Pernice, Marzio Pennisi, Greta Romano, 2019

机译：基于有色Petri网形式主义的多发性硬化症研究计算方法
7. Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods [O] . Thomas Mailund, Anders E. Halager, Michael Westergaard 2013

机译：使用有色Petri网构建聚结的隐马尔可夫模型：从人口统计指标到有效推断方法的自动转换
8. Efficient Algorithm for Unfolding Petri Nets [R] . Khomenko, V. , Koutny, M. 2002

机译：一种有效的展开petri网的算法

AN EFFICIENT METHOD FOR UNFOLDING COLORED PETRI NETS

著录项

引文网络

相似文献

相关主题

期刊订阅