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

Proceedings of 5th International Workshop on Petri Nets and Performance Models最新文献

筛选
英文 中文
Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets 拟可聚随机良形网性能指标的计算界
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393455
G. Franceschinis, R. Muntz
{"title":"Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets","authors":"G. Franceschinis, R. Muntz","doi":"10.1109/PNPM.1993.393455","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393455","url":null,"abstract":"The stochastic well-formed colored Petri net (SWN) formalism and the associated reachability graph (RG). The method for computing bounds of quasi-lumpable Markov chains is summarized. A structural analysis algorithm to check whether a given SWN is quasi-lumpable, and a modified symbolic RG (SRG) generation algorithm for the generation of the aggregate MC used for the bounds computation are described. Two application examples are shown.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130702947","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}
引用次数: 24
Quantitative evaluation of discrete event systems: Models, performances and techniques 离散事件系统的定量评估:模型、性能和技术
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393440
Raymond A. Marie, A. Jean-Marie
{"title":"Quantitative evaluation of discrete event systems: Models, performances and techniques","authors":"Raymond A. Marie, A. Jean-Marie","doi":"10.1109/PNPM.1993.393440","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393440","url":null,"abstract":"Assuming that with the increasing complexity of new architectures, modeling and performance evaluation of discrete event systems are more and more necessary, the authors present some general remarks on the modeling concept. Queuing networks, whose theory has been stimulated by needs in the computing field, are presented, together with the main ideas of their general solution. A more recent formalism, that of extended Petri nets, is presented. This formalism allows more sophisticated Markovian models to be solved mathematically.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116882188","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}
引用次数: 5
Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets 具有规则结构的并行架构:使用随机良形彩色Petri网建模的案例研究
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393448
C. Anglano, S. Donatelli, R. Gaeta
{"title":"Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets","authors":"C. Anglano, S. Donatelli, R. Gaeta","doi":"10.1109/PNPM.1993.393448","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393448","url":null,"abstract":"It is shown how to study the latency of packets exchanged by MIMD distributed memory architectures with regular structures. To reach this goal, the single node, the architecture topology, the routing algorithm, and the flow control algorithm are modeled. Models have been built with the formalism of stochastic well-formed coloured Petri nets (SWNs) having in mind modularity. Different types of nodes, topology, routing, and flow control are modeled in isolation and are then intermixed to study different architectures. To achieved simplicity and modularity, SWNs are used to their full power, so that this work constitutes quite a complete example of modeling with SWNs.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130789478","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}
引用次数: 5
Constructive modelling and design basic research within the European QMIPS-project 欧洲qmips项目中的建设性建模和设计基础研究
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393432
U. Herzog
{"title":"Constructive modelling and design basic research within the European QMIPS-project","authors":"U. Herzog","doi":"10.1109/PNPM.1993.393432","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393432","url":null,"abstract":"The main objectives of the Quantitative Modelling in Parallel Systems (QMIPS) project, a research activity on quantitative modeling of parallel and distributed systems, are summarized. Elements of a constructive modeling and design methodology are discussed, and stochastic process algebras are emphasized as an interesting base for it.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122807186","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}
引用次数: 1
On the structural and behavioural characterization of P/T nets 论P/T网络的结构和行为特征
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393434
G. Chiola
{"title":"On the structural and behavioural characterization of P/T nets","authors":"G. Chiola","doi":"10.1109/PNPM.1993.393434","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393434","url":null,"abstract":"Deadlocks and traps are well-known net structures that may be identified to characterize the behavior of nets. These structures have been defined on ordinary nets (with arc multiplicity 1). Although they can be computed on generalized nets (with arc multiplicity /spl ges/ 1), their relation with behavioral properties becomes less clear in this case. Similar problems may be found in the definition of conflicts: the structural concept is defined in terms of sharing of input places, while the behavioral definition of conflict is usually introduced in the framework of safe nets. A redefinition of some behavioral properties for P/T nets in their general case is attempted in order to have a better correspondence between behavioral and structural properties.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128105065","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
Synthesis of GSPN models for workload mapping on concurrent architectures 并发架构下工作负载映射的GSPN模型综合
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393450
D. Abbati, S. Caselli, G. Conte, F. Zanichelli
{"title":"Synthesis of GSPN models for workload mapping on concurrent architectures","authors":"D. Abbati, S. Caselli, G. Conte, F. Zanichelli","doi":"10.1109/PNPM.1993.393450","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393450","url":null,"abstract":"Construction of GSPN models of complex systems is a difficult task that often demands significant expertise. Faithful representation of detailed behavioral semantics and overall correctness usually require a significant number of iterations and refinements. This modeling effort is substantially hindering widespread application of Petri net based techniques to ever complex systems. One of the many application areas where this modeling problem arises is distribution of computation workload onto concurrent MIMD architectures. An approach based on the automatic generation of GSPN models for workload mapping on concurrent architectures is described. The methodology is based on the synthesis of a net starting from a precedence graph of the computation. The construction of a complete net modeling the MIMD architecture under a specified workload is possible for a given set of architectures. Nets generated by the synthesis process exhibit higher complexity than manually generated ones, but this is not a serious drawback since net solutions and performance estimates can be derived using standard analysis tools (GreatSPN).<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133073409","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
Validation and performance analysis of network algorithms by coloured Petri nets 彩色Petri网网络算法的验证与性能分析
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393443
H. Clausen, P. R. Jensen
{"title":"Validation and performance analysis of network algorithms by coloured Petri nets","authors":"H. Clausen, P. R. Jensen","doi":"10.1109/PNPM.1993.393443","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393443","url":null,"abstract":"Different usage parameter control (UPC) algorithms for high-speed asynchronous transfer mode (ATM) networks are studied. The purpose of the UPC algorithms is to prevent congestion in the network by monitoring input traffic and marking the excess traffic. Four UPC algorithms are modeled by means of hierarchical colored Petri nets with time. The purpose of the model is validation and performance analysis of the algorithms. The behavior of each algorithm is investigated when confronted with different kinds of traffic sources, e.g., video or videophony. The investigations determine the triggered jumping window algorithm to be the most suitable for a majority of traffic types. The use of colored Petri nets as a modeling and simulation language is discussed.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129437399","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
On scalable net modeling of OLTP OLTP的可扩展网络建模
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393444
L. Cherkasova, V. Kotov, Tomas Rokicki
{"title":"On scalable net modeling of OLTP","authors":"L. Cherkasova, V. Kotov, Tomas Rokicki","doi":"10.1109/PNPM.1993.393444","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393444","url":null,"abstract":"Practical experiments with the net modeling of OLTP (online transaction processing) applications are discussed. The goal was to propose a convenient and flexible model that would be easy to modify with respect to different scheduling algorithms, number of processors, and disks. The parameters of the model may be varied depending on the size of available memory and timing in a model in order to provide the necessary information to analyze the functioning of the system under different transaction rates and conditions, to identify bottlenecks and potential inefficiencies in the system design. The main effort was focused on speeding up the simulation through combining nets with code, using refinement techniques, and exploiting the scalability of colored Petri nets.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124297463","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}
引用次数: 14
首页 上一页
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学术官方微信