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

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

筛选
英文 中文
Conflict sets in colored Petri nets 彩色Petri网中的冲突集
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393433
C. Dutheillet, S. Haddad
{"title":"Conflict sets in colored Petri nets","authors":"C. Dutheillet, S. Haddad","doi":"10.1109/PNPM.1993.393433","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393433","url":null,"abstract":"Generalized stochastic Petri nets provide the modeller with immediate transitions, but a model will be correct only if the modeller can specify how to solve the firing conflicts between these transitions. This task is usually cumbersome and may be impossible for large nets. In confusion-free nets, these conflict sets are subsets of equivalence classes of a structural conflict relation, which greatly simplifies the previous task. The authors solve the problem of detecting confusion in colored stochastic Petri nets and computing the equivalence classes of the structural conflict relation. The approach relies on two techniques: the symbolic representation of structural relations and the definition of operations on these symbolic relations. Combined with the lumping method presented by G. Chiola et al. (1991), the algorithm could be the basis of an efficient tool for the analysis of colored generalized stochastic Petri nets.<<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":"115119391","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
Towards a simplified building of time Petri Nets reachability graph 时间Petri网可达性图的简化构建
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393436
H. Boucheneb, U. Alger, G. Berthelot
{"title":"Towards a simplified building of time Petri Nets reachability graph","authors":"H. Boucheneb, U. Alger, G. Berthelot","doi":"10.1109/PNPM.1993.393436","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393436","url":null,"abstract":"An enumerative approach for time Petri nets (or Melin's model) analysis is presented. In this model, if a transition t is enabled at time /spl tau/, it can be fired at any time in the interval [/spl tau/+tmax(t)]. It is shown that the firing condition at the nth firing can be expressed by the means of the marking, the enabling point of enabled transitions, and the minimal and maximal elapsed time between to firings. This result leads to an attractive definition of state classes and allows a simple computation of reachable state classes. The approach presented has two main advantages. First, the computation of reachable state classes is more simple and does not require any solution of a system. Second, the graph obtained is a subgraph of that given by M. Menasche (1982).<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"50 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":"129414803","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}
引用次数: 47
Analysis of deterministic and stochastic Petri nets 确定性和随机Petri网的分析
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393454
G. Ciardo, C. Lindemann
{"title":"Analysis of deterministic and stochastic Petri nets","authors":"G. Ciardo, C. Lindemann","doi":"10.1109/PNPM.1993.393454","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393454","url":null,"abstract":"A time and space efficient algorithm for computing steady state solutions of deterministic and stochastic Petri nets (DSPNs) with both stochastic and structural extensions is presented. The algorithm can deal with different execution policies associated with deterministic transitions of a DSPN. The definition of a subordinated Markov chain (SMC) is refined to reduce the computational cost of deriving the transition probabilities of the embedded Markov chain (EMC) underlying a DSPN. Closed-form expressions of these transition probabilities are presented for some SMC topologies. Moreover, the use of the reward structured defined on the DSPN to reduce memory requirements is proposed. The usefulness of the proposed extensions and the steps of the solution algorithm are illustrated using a DSPN of a simple communication protocol.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"26 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":"114714299","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}
引用次数: 87
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems 排队Petri网——系统定性与定量结合分析的一种形式
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393439
Falko Bause
{"title":"Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems","authors":"Falko Bause","doi":"10.1109/PNPM.1993.393439","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393439","url":null,"abstract":"System analysis is often needed with respect to both qualitative and quantitative aspects. In recent decades, several formalisms have been developed that attempt to combine these aspects in one description. Present emphasis is on stochastic Petri nets. One disadvantage of these formalisms is the difficulties when describing scheduling strategies with Petri net elements. A new version of queuing Petri nets (QPNs), which combines queuing networks and Petri nets, aiming at eliminating these disadvantages is described. The new version also exhibits the modeling of timed transitions and timeless queues for describing pure scheduling mechanisms. QPNs are a superset of queueing networks and (generalized stochastic) Petri nets. The analysis of QPNs is discussed, and it is shown that efficient analysis techniques from Petri net theory can be exploited for analysis of QPNs, thus supporting the general objective of combining Petri net and queueing network formalisms.<<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":"130454193","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}
引用次数: 185
GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system 实际柔性制造系统性能和可靠性评估的GSPN建模方法
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393442
B. Mazigh, J. Gresser, François Simon
{"title":"GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system","authors":"B. Mazigh, J. Gresser, François Simon","doi":"10.1109/PNPM.1993.393442","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393442","url":null,"abstract":"Generalized stochastic Petri nets (GSPNs) are used to model and analyze a real flexible manufacturing system (FMS). First, performance and dependability evaluation are applied to a real-life system. A global system is decomposed to reduce the complexity evaluation. Temporal analysis is used to derive performance measures such as the average production per day. Second, a solution is proposed to increase the production rate by introducing buffers with finite capacity and a reorganization of jobs on different production lines.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"28 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":"127149772","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}
引用次数: 2
Automated time scale decomposition and analysis of stochastic Petri nets 随机Petri网的自动时间尺度分解与分析
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393446
A. Blakemore, S. Tripathi
{"title":"Automated time scale decomposition and analysis of stochastic Petri nets","authors":"A. Blakemore, S. Tripathi","doi":"10.1109/PNPM.1993.393446","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393446","url":null,"abstract":"The automated application of time-scale decomposition to stochastic Petri nets is studied. Time-scale decomposition exploits the tendency of a system to approach a short-term equilibrium between relatively rare events and has been extensively studied in the context of Markov chains and queuing networks. Previous approaches for applying time-scale decomposition to SPN models relied heavily upon human insight in ways what hampered algorithmic implementation. A simple and effective method for specifying the time-scale decomposition of a SPN is presented, and solution techniques that take advantage of structural information from the SPN are described.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"8 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":"131657225","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}
引用次数: 12
Algorithms for product-form stochastic Petri nets-A new approach 乘积型随机Petri网的算法——一种新方法
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393430
J. L. Coleman
{"title":"Algorithms for product-form stochastic Petri nets-A new approach","authors":"J. L. Coleman","doi":"10.1109/PNPM.1993.393430","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393430","url":null,"abstract":"A general relationship between utilizations in product-form stochastic Petri nets (PF-SPNs) is used to derive a method for calculating the normalizing constant. The method collects the contributions of many states together as geometric sums and in general provides a recursive algorithm with numerical complexity independent of the size of the initial marking. The technique is applied to some simple examples, and closed-form solutions are obtained for the normalizing constant.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"69 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":"127632225","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
A characterization of the stochastic process underlying a stochastic Petri net 随机Petri网下随机过程的表征
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393453
G. Ciardo, R. German, C. Lindemann
{"title":"A characterization of the stochastic process underlying a stochastic Petri net","authors":"G. Ciardo, R. German, C. Lindemann","doi":"10.1109/PNPM.1993.393453","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393453","url":null,"abstract":"Stochastic Petri nets (SPNs) with generally distributed firing times are isomorphic to generalized semi-Markov processes (GSMPs), but simulation is the only feasible approach for their solution. The authors explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly efficient solution. Generalized stochastic Petri nets (GSPNs), deterministic and stochastic Petri nets (DSPNs), semi-Markovian stochastic Petri nets (SM-SPNs), timed Petri nets (TPNs), and generalized timed Petri nets (GTPNs) are particular entries in the hierarchy. Additional classes of SPNs for which it is shown how to compute an analytical solution are obtained by the method of the embedded Markov chain (DSPNs are just one example in this class) and state discretization, which the authors apply not only to the continuous-time case (PH-type distributions), but also to the discrete case.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"41 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":"123543450","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}
引用次数: 267
A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism 基于同步Petri网形式化的响应式实时系统建模和编程辅助工具
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393437
R. Hilal, P. Ladet
{"title":"A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism","authors":"R. Hilal, P. Ladet","doi":"10.1109/PNPM.1993.393437","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393437","url":null,"abstract":"The design and the implementation of a reactive real-time system modeling and programming tool based on the synchronous Petri nets formalism (SynPN) are presented. This formalism combines the advantages of two existing formalisms: the synchronous languages (SL) and the Petri nets (PN). The SynPN basic assumptions and the synchronous interpretation principles are explained, illustrated with examples. The SynPN formal definition is given as well as the interpretation algorithm. The SynPN based tool, which aids in reactive real-time system modeling and programming is introduced. The modeling and the programming of a chronometer using the SynPN formalism are addressed.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"29 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":"133429949","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
Sensitivity analysis of Markov regenerative stochastic Petri nets 马尔可夫再生随机Petri网的灵敏度分析
Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI: 10.1109/PNPM.1993.393452
V. Mainkar, Hoon Choi, Kishor S. Trivedi
{"title":"Sensitivity analysis of Markov regenerative stochastic Petri nets","authors":"V. Mainkar, Hoon Choi, Kishor S. Trivedi","doi":"10.1109/PNPM.1993.393452","DOIUrl":"https://doi.org/10.1109/PNPM.1993.393452","url":null,"abstract":"Sensitivity analysis, i.e., the analysis of the effect of small variations in system parameters on the output measures, can be studied by computing the derivatives of the output measures with respect to the parameter. An algorithm for parametric sensitivity analysis of Markov regenerative stochastic Petri nets (MRSPN) is presented. MRSPNs are a true generalization of stochastic Petri nets, in that they allow for transitions to have generally distributed firing times (under certain conditions). The expressions for the steady state probabilities of MRSPNs were developed by H. Choi et al. (1993). The authors extend the steady state analysis and present equations for sensitivity of the steady state probabilities with respect to an arbitrary system parameter. Sensitivity functions of the performance measures can accordingly be expressed in terms of the sensitivity functions of the steady state probabilities. The authors present an application of our algorithm by finding an optimizing parameter for a vacation queue.<<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":"126230115","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
下一页 尾页
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学术官方微信