PIPE工具的基于集群网格的响应时间分析模块

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI:10.1109/QEST.2007.42

H. Kulatunga, Ashok Argent-Katwala, W. Knottenbelt

{"title":"PIPE工具的基于集群网格的响应时间分析模块","authors":"H. Kulatunga, Ashok Argent-Katwala, W. Knottenbelt","doi":"10.1109/QEST.2007.42","DOIUrl":null,"url":null,"abstract":"Generalized stochastic Petri nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation of Petri nets. This tool paper presents a PIPE module for response-time analysis of a Petri net's underlying continuous time Markov chain (CTMC). Jobs are submitted via a web interface, from within PIPE or from a browser. The parallel computations are run using grid engine on a cluster hosted at Imperial College London.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"116 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Cluster Grid based Response-time analysis module for the PIPE Tool\",\"authors\":\"H. Kulatunga, Ashok Argent-Katwala, W. Knottenbelt\",\"doi\":\"10.1109/QEST.2007.42\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Generalized stochastic Petri nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation of Petri nets. This tool paper presents a PIPE module for response-time analysis of a Petri net's underlying continuous time Markov chain (CTMC). Jobs are submitted via a web interface, from within PIPE or from a browser. The parallel computations are run using grid engine on a cluster hosted at Imperial College London.\",\"PeriodicalId\":249627,\"journal\":{\"name\":\"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)\",\"volume\":\"116 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-09-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/QEST.2007.42\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QEST.2007.42","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

广义随机Petri网(gspn)是一种广泛应用于离散事件系统建模的高级形式。平台独立Petri网编辑器(PIPE)是一个开源软件项目，允许创建、分析和模拟Petri网。本文提出了一个PIPE模块，用于Petri网底层连续时间马尔可夫链(CTMC)的响应时间分析。作业通过web界面、从PIPE内部或从浏览器提交。并行计算使用网格引擎在伦敦帝国理工学院托管的集群上运行。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Cluster Grid based Response-time analysis module for the PIPE Tool

Generalized stochastic Petri nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation of Petri nets. This tool paper presents a PIPE module for response-time analysis of a Petri net's underlying continuous time Markov chain (CTMC). Jobs are submitted via a web interface, from within PIPE or from a browser. The parallel computations are run using grid engine on a cluster hosted at Imperial College London.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)

自引率

0.00%

发文量