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

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91最新文献

筛选
英文 中文
Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies 用于检测不确定性、非终止和死锁异常的Occam程序的Petri网建模
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238776
Zhi-Wu Xu, O. Vel
{"title":"Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies","authors":"Zhi-Wu Xu, O. Vel","doi":"10.1109/PNPM.1991.238776","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238776","url":null,"abstract":"The authors present a graph model based on Petri nets that can be used as a software development tool for parallel computational programs written in the Occam language. In parallel computing the cooperation aspect of concurrency is emphasized, rather than the competitive aspect of multiple processes found in operating system applications. In developing and debugging a parallel computational program, users often want to ensure that their program will terminate (that is, it stops in finite time) and be determinate (that is, the same input data always produce the same result). Using the Petri net graph model, termination and determinacy can be mathematically defined, and algorithms for detecting these properties developed. In fact, the graph model defines an operational semantics for a non-trivial subset of Occam, and can be used as a pedagogical aid as well as a tool for developing and synthesizing Occam programs in parallel computing applications.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130018997","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
Searching best paths to worst states 寻找通往最差状态的最佳路径
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238800
G. Florin, C. Fraize, S. Natkin
{"title":"Searching best paths to worst states","authors":"G. Florin, C. Fraize, S. Natkin","doi":"10.1109/PNPM.1991.238800","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238800","url":null,"abstract":"Probabilistic validation is a new approach to deal with large state transitions systems. The user's need is to prove that, for a given period of operations, that a given assertion on the reached states is true with a sufficient level of probability. The system to be validated is modeled by a stochastic Petri net. The analysis relies on a partial exploration of the reachability set and tries to reach as quickly as possible critical states (states in which the assertion is not verified). An exact linear program solution allows to 'travel' through the graph. The main goal of the paper is to present the principles of this searching algorithm.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122499712","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
Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems 随机时间Petri网模型处理任意时间分布——在排队系统中的应用
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238784
G. Juanole, Y. Atamna
{"title":"Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems","authors":"G. Juanole, Y. Atamna","doi":"10.1109/PNPM.1991.238784","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238784","url":null,"abstract":"The ability of the stochastic timed Petri net model for dealing with a great variety of firing time distributions is presented. The distributions can be: continuous (exponential or uniform); discrete (including the particular case of a deterministic distribution with a zero firing time (immediate transition) or a non zero firing time); mixed. This ability is based on a method of tractable computation whatever the distribution (in particular the difficult cases of the discrete and mixed distributions), for obtaining a randomized state graph (which represents the dynamic behaviour of the system being modelled). Applications to queueing systems are considered: the queue M/G/1; the queue M/G/1/K. A general method for analysing queueing systems, which is based on an interpretation of the randomized state graph, is presented.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122724358","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}
引用次数: 31
An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models 一种计算确定性和随机Petri网模型稳态解的改进数值算法
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238803
C. Lindemann
{"title":"An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models","authors":"C. Lindemann","doi":"10.1109/PNPM.1991.238803","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238803","url":null,"abstract":"Introduces an algorithm for calculating steady-state solutions of DSPN models. The described method employs the randomization technique enhanced by a stable calculation of Poisson probabilities. A complete re-design and re-implementation of the appropriate components implemented in the version 1.4 of the software package GreatSPN has lead to significant savings in both computation time and memory space. These benefits are illustrated by DSPN models taken from the literature. The author considers DSPN models for an E/sub r//D/1/K queueing system and a fault-tolerant clocking system. These examples show that the model solutions are calculated with significantly less computational effort and a better error control by the algorithm described than by the method implemented in the version 1.4 of the software package GreatSPN.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133990648","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}
引用次数: 95
Estimating the mean cycle time for stochastic safe marked graphs 随机安全标记图的平均周期时间估计
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238779
J. Magott, Kamil Skudlarski
{"title":"Estimating the mean cycle time for stochastic safe marked graphs","authors":"J. Magott, Kamil Skudlarski","doi":"10.1109/PNPM.1991.238779","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238779","url":null,"abstract":"Stochastic safe marked graphs with exponentially distributed firing time of timed transitions are investigated. An approximate method for estimating the mean cycle time is proposed. The method gives a value that tends to be greater than the exact one. It is of polynomial computational complexity. The estimate is much better than the best PERT network upper bound for networks with exponentially distributed durations of activities. The method is compared with the best upper bound for mean cycle time of stochastic marked graphs. The reasons of error of the above two methods are different. Therefore, one of the methods completes the other, and for given stochastic safe marked graphs one can choose the better one from the two estimates. The approximate method can be used for estimating the mean time of stochastic safe marked graphs with NBUE distributed firing times.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"170 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114463046","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}
引用次数: 0
A decomposition approach for stochastic Petri net models 随机Petri网模型的分解方法
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238780
G. Ciardo, Kishor S. Trivedi
{"title":"A decomposition approach for stochastic Petri net models","authors":"G. Ciardo, Kishor S. Trivedi","doi":"10.1109/PNPM.1991.238780","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238780","url":null,"abstract":"The authors present a decomposition approach for the solution of large stochastic Petri nets (SPNs). The overall model consists of a set of submodels whose interactions are described by an import graph. Each node of the graph corresponds to a parametrized SPN submodel and an arc from submodel A to submodel B corresponds to a parameter value that B must receive from A. The quantities exchanged between submodels are based on only three primitives. The import graph is normally cyclic, so the solution method is based on fixed point iteration. The authors apply their technique to the analysis of a flexible manufacturing system.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132555502","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}
引用次数: 106
On periodic schedules for deterministically timed Petri net systems 确定性定时Petri网系统的周期调度
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238799
K. Onaga, Manuel Silva, Toshimasa Watanabe
{"title":"On periodic schedules for deterministically timed Petri net systems","authors":"K. Onaga, Manuel Silva, Toshimasa Watanabe","doi":"10.1109/PNPM.1991.238799","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238799","url":null,"abstract":"Introduces a Petri net based perspective to periodic schedules. These are classified, according to the time interpretation in multiple-server semantics and/or transitions firing periodicity constraints, into strict and general periodic schedules. Using a net transformation rule, the computation of the general schedule class can be done through techniques for the strict subclass. A necessary and sufficient condition for the feasibility of a strict periodic schedule is given. Estimating the truncation error at initial firing time epoch tau /sub 1/ allows to get linear systems of inequalities as necessary conditions for a schedule to be feasible. An linear programming (LP) based heuristic approach is proposed to deal with the computation of 'optimum' (i.e. minimal time) strict periodic schedules under the single-server semantics.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115624357","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}
引用次数: 23
Throughput lower bounds for Markovian Petri nets: transformation techniques 马尔可夫Petri网的吞吐量下界:转换技术
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238788
J. Campos, Beatriz Sánchez, M. Suárez
{"title":"Throughput lower bounds for Markovian Petri nets: transformation techniques","authors":"J. Campos, Beatriz Sánchez, M. Suárez","doi":"10.1109/PNPM.1991.238788","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238788","url":null,"abstract":"Addresses the computation of lower bounds for the steady-state throughput of stochastic Petri nets with immediate and exponentially distributed service times of transitions. The authors try to deeply bridge stochastic Petri net theory to untimed Petri net and queueing networks theories. Previous results for general service time distributions are improved for the case of Markovian nets by considering some pessimistic transformation rules operating locally on the net structure, its initial marking, and stochastic interpretation. Special interest have the obtained results for the case of live and bounded free choice nets and live marked graphs systems.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114733433","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}
引用次数: 21
Subnetwork time distributions as a means for multilevel evaluation of generalized stochastic Petri nets 子网络时间分布作为广义随机Petri网多层评价的手段
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238783
G. Klas, Reinhard Matuschka
{"title":"Subnetwork time distributions as a means for multilevel evaluation of generalized stochastic Petri nets","authors":"G. Klas, Reinhard Matuschka","doi":"10.1109/PNPM.1991.238783","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238783","url":null,"abstract":"A new hierarchical evaluation procedure for generalized stochastic Petri nets (GSPN) is being presented. It is based on extensions of flow equivalent aggregation (FEA). At every level of hierarchy, subnets are approximated by substitute networks. As criterion for the similarity of the networks, the subnetwork time distribution (STD) is used which is the sojourn time distribution of a token X in a subnet conditioned on the token distribution at the epoch of arrival of X and the context into which the net is embedded for determining the STD. The computation of a substitute network's type and parameters is outlined. The performance of this technique called FEAD (FEA based on subnetwork time distribution) is discussed by means of examples.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129548822","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
Performance model of interference avoidance policy using stochastic Petri nets 基于随机Petri网的干扰避免策略性能模型
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI: 10.1109/PNPM.1991.238775
Takashi Kobayashi, K. Kurihara
{"title":"Performance model of interference avoidance policy using stochastic Petri nets","authors":"Takashi Kobayashi, K. Kurihara","doi":"10.1109/PNPM.1991.238775","DOIUrl":"https://doi.org/10.1109/PNPM.1991.238775","url":null,"abstract":"A new method is described for analyzing scheduling policy for interference avoidance. The traditional queuing theory assuming a first-come-first-served policy is not suitable for analyzing scheduling policy. Stochastic Petri net (SPN) is suitable for analyzing scheduling policy, because with it job arrival states, resource assignment states, and job flow due to these states can be modeled. However, if the scheduling logic is described in detail with SPN, a combinatorial explosion is soon encountered. Therefore, a new method is proposed to cut down the size of SPN model and to analyze the control policy of a magnetic tape library.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134106759","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}
引用次数: 0
下一页 尾页
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学术官方微信