发布求助
文献互助 智能选刊 最新文献

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.最新文献

筛选
英文 中文
On non-ergodic infinite-state stochastic Petri nets 非遍历无限态随机Petri网
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. Pub Date : 2003-09-02 DOI: 10.1109/PNPM.2003.1231545
Falko Bause
{"title":"On non-ergodic infinite-state stochastic Petri nets","authors":"Falko Bause","doi":"10.1109/PNPM.2003.1231545","DOIUrl":"https://doi.org/10.1109/PNPM.2003.1231545","url":null,"abstract":"This paper presents a condition to detect infinite-state GSPNs, for which ergodicity is sensitive to parameter variations. The condition is based on the incidence matrix of the net and can be efficiently verified.","PeriodicalId":134699,"journal":{"name":"10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129241128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Performance evaluation with asynchronously decomposable SWN: implementation and case study 异步可分解SWN的性能评估:实现与案例研究
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. Pub Date : 2003-09-02 DOI: 10.1109/PNPM.2003.1231539
C. Delamare, Y. Gardan, P. Moreaux
{"title":"Performance evaluation with asynchronously decomposable SWN: implementation and case study","authors":"C. Delamare, Y. Gardan, P. Moreaux","doi":"10.1109/PNPM.2003.1231539","DOIUrl":"https://doi.org/10.1109/PNPM.2003.1231539","url":null,"abstract":"Modern systems involve more and more complex interactions leading to very large models. In the area of Stochastic Petri Nets, standard approaches are to use High Level Stochastic Petri Nets and/or some kind of compositionality to cope with this increasing complexity. In this paper we present an experimental implementation of the asynchronous decomposition method for Stochastic Well formed Nets (SWN), a class of Stochastic High level Petri nets. The method combines the Multi-valued Decision Diagram methods for structured Markov chains with the theoretical results for decomposable SWN. This implementation allows us to compute performance indices for very large and very symmetric systems. We apply our tool to the analysis of a complex Manufacturing System.","PeriodicalId":134699,"journal":{"name":"10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116975202","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications 活细胞中分子相互作用的网络建模:结构、动力学和应用
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. Pub Date : 2003-09-02 DOI: 10.1109/PNPM.2003.1231537
Kent Vander Velden, J. Peccoud
{"title":"Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications","authors":"Kent Vander Velden, J. Peccoud","doi":"10.1109/PNPM.2003.1231537","DOIUrl":"https://doi.org/10.1109/PNPM.2003.1231537","url":null,"abstract":"Interactions occurring in living cells between populations of macromolecules are now sufficiently understood to model them with some level of realism. Here, the structure and dynamics of these models is reviewed, and a number of open problems are discussed. Recent applications of such models indicate that there is a growing need for simulation environments specifically designed for the life sciences.","PeriodicalId":134699,"journal":{"name":"10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131336316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
SWN client-server composition operators in the OsMoSys framework ossys框架中的SWN客户端-服务器组合操作符
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. Pub Date : 2003-09-02 DOI: 10.1109/PNPM.2003.1231542
G. Franceschinis, V. Vittorini, S. Marrone, N. Mazzocca
{"title":"SWN client-server composition operators in the OsMoSys framework","authors":"G. Franceschinis, V. Vittorini, S. Marrone, N. Mazzocca","doi":"10.1109/PNPM.2003.1231542","DOIUrl":"https://doi.org/10.1109/PNPM.2003.1231542","url":null,"abstract":"In this paper we present a modular approach to the construction of complex Stochastic Well-Formed Nets, based on the definition of (reusable) submodels and their composition according to a client-server paradigm. First the client and server SWN modules are defined, then the message, broadcast, route, multicast, choice and synchronization operators are introduced, finally it is explained how they can be used to obtain composed models. The proposed method can be seen as a particular application of the more general OsMoSys approach, hence a brief introduction to OsMoSys precedes the core of the paper. We also discuss the implementation of our approach and the usage of the XML technology to ease the interchange of model description files among different analysis and simulation tools.","PeriodicalId":134699,"journal":{"name":"10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114374875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
10th International Workshop On Petri Nets And Performance Models 第10届Petri网与性能模型国际研讨会
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. Pub Date : 1900-01-01 DOI: 10.1109/PNPM.2003.1231536
Performance Models, Mary
{"title":"10th International Workshop On Petri Nets And Performance Models","authors":"Performance Models, Mary","doi":"10.1109/PNPM.2003.1231536","DOIUrl":"https://doi.org/10.1109/PNPM.2003.1231536","url":null,"abstract":"","PeriodicalId":134699,"journal":{"name":"10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130821601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信