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

Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89最新文献

筛选
英文 中文
A simulation model of a uniform interface for layered protocol architectures 分层协议体系结构统一接口的仿真模型
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68549
M. Marsan, G. P. Rossi, F. Salvi
{"title":"A simulation model of a uniform interface for layered protocol architectures","authors":"M. Marsan, G. P. Rossi, F. Salvi","doi":"10.1109/PNPM.1989.68549","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68549","url":null,"abstract":"A simulation model of an interface in a layered protocol architecture, such as the one defined by the Open Systems Interconnection Basic Reference Model, is presented. The interface is designed to operate between any two protocol layers, and to relieve the protocol machines of the management of data unit queues. The simulation model is developed using PROTOB, an object-oriented simulation environment based on Prot nets, a class of colored Petri nets with timed transitions. Different buffer allocation policies in the interface are compared by showing their simulated performance results.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"224 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122379823","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
Performance evaluation of job operation flows in computer systems by timed Petri nets 用定时Petri网评价计算机系统作业流程的性能
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68544
Harushi Someya, Tsutomu Tashiro, T. Murata, N. Komoda
{"title":"Performance evaluation of job operation flows in computer systems by timed Petri nets","authors":"Harushi Someya, Tsutomu Tashiro, T. Murata, N. Komoda","doi":"10.1109/PNPM.1989.68544","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68544","url":null,"abstract":"An automatic method for computing the expected execution time of jobs based on Petri nets is proposed. With this method a job operation flow is modeled using the timed Petri net, all operation cases for every fault are considered using the reachability tree of the Petri net, and the expected execution time is computed automatically. A support system that actualizes the proposed method on a workstation is described. This approach allows job operation flows to be planned without misunderstandings.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114608487","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
Extensions to coloured Petri nets 彩色Petri网的扩展
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68540
J. Billington
{"title":"Extensions to coloured Petri nets","authors":"J. Billington","doi":"10.1109/PNPM.1989.68540","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68540","url":null,"abstract":"Jensen's colored Petri nets (CP-nets) are extended by including capacity and inhibitor functions. A class of extended CP-nets, known as P-nets, is defined that includes the capacity function and the threshold inhibitor extension. The inhibitor extension is defined in a totally symmetrical way to the usual pre-place map (or incidence function). Two transformations from P-nets to CP-nets are presented and it is proved that they preserve interleaving behavior. The transformations are based on the notion of complementary places defined for place/transition-nets and involve the definition and proof of a new extended complementary place invariant for CP-nets.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128868972","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}
引用次数: 26
Many-sorted high-level nets 许多分类的高级网络
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68550
J. Billington
{"title":"Many-sorted high-level nets","authors":"J. Billington","doi":"10.1109/PNPM.1989.68550","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68550","url":null,"abstract":"Many-sorted high-level nets (MHLNs) combine abstract data types and Petri nets within the same algebraic framework and include inhibitor arcs and place capacities. Many-sorted signatures are used to define inscriptions. MHLNs are defined at two different levels of abstraction. At an abstract level markings and capacities are defined by terms. This is suitable for specifying classes of systems. At the concrete level, a many-sorted algebra satisfying the signature is used for markings and capacities. Both abstract and concrete MHLNs can be given an interpolation in terms of colored Petri nets extended by place capacities and inhibitors, known as P-nets. A hierarchy of high-level nets, including many-sorted versions of predicate-transition (PrT) nets and algebraic nets, is developed and differences from their single-sorted versions are discussed.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130926938","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}
引用次数: 54
Aggregation methods in exact performance analysis of stochastic Petri nets 随机Petri网精确性能分析中的聚合方法
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68535
W. Henderson, P. Taylor
{"title":"Aggregation methods in exact performance analysis of stochastic Petri nets","authors":"W. Henderson, P. Taylor","doi":"10.1109/PNPM.1989.68535","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68535","url":null,"abstract":"Recently the authors have shown that there is a class of stochastic Petri nets (SPNs), distinct from queueing networks, that also have a product-form equilibrium distribution.In this study the previous work is extended by study in SPNs that have arbitrarily distributed enabling and firing times, probabilistic input and output bags, and colored tokens. An embedding procedure that reduces a complex SPN to a skeleton SPN is proposed. It is shown that choosing the appropriate embedding, it is possible to obtain exact results from the skeleton SPN that are marginal results for the complex SPN.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114203754","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}
引用次数: 29
Modeling of FMS under certainty using stochastic Petri nets-an application to rule-based on-line scheduling 确定性条件下FMS随机Petri网建模在基于规则的在线调度中的应用
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68546
I. Hatono, N. Katoh, K. Yamagata, H. Tamura
{"title":"Modeling of FMS under certainty using stochastic Petri nets-an application to rule-based on-line scheduling","authors":"I. Hatono, N. Katoh, K. Yamagata, H. Tamura","doi":"10.1109/PNPM.1989.68546","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68546","url":null,"abstract":"The modeling of flexible manufacturing systems (FMS) under uncertainty and evaluation of a rule base for online scheduling is considered. To represent uncertain events in FMS, such as failure of machine tools, repair time and processing time, apply continuous-time and discrete-time stochastic Petri nets with hierarchical structure to constructing the FMS model. To obtain an efficient schedule of FMS with on-line real-time basis, the authors construct a rule base and evaluate the performance of the rule base using the FMS simulation system.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116021452","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}
引用次数: 7
Aggregation of states in colored stochastic Petri nets: application to a multiprocessor architecture 彩色随机Petri网的状态聚合:在多处理器体系结构中的应用
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68538
C. Dutheillet, S. Haddad
{"title":"Aggregation of states in colored stochastic Petri nets: application to a multiprocessor architecture","authors":"C. Dutheillet, S. Haddad","doi":"10.1109/PNPM.1989.68538","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68538","url":null,"abstract":"A lumping method that is based on a particular class of colored Petri nets is presented. The originality of the method is that the states are aggregated a priori, thus avoiding the construction of the whole reachability graph. The authors construct only a graph of symbolic markings whose states are classes of markings and from which the solution can be directly computed. They show on an example that the method can be usefully applied to the performance evaluation of symmetric systems.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115555580","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
Tight polynomial bounds for steady-state performance of marked graphs 标记图稳态性能的紧多项式界
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68553
J. Campos, G. Chiola, J. Colom, M. Suárez
{"title":"Tight polynomial bounds for steady-state performance of marked graphs","authors":"J. Campos, G. Chiola, J. Colom, M. Suárez","doi":"10.1109/PNPM.1989.68553","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68553","url":null,"abstract":"The problem of computing both upper and lower bounds for the steady-state performance of timed and stochastic marked graphs is studied. In particular, linear programming problems defined on the incidence matrix of the underlying Petri nets to compute tight (i.e. reachable) bounds for the throughput of transitions for live and bounded marked graphs with time associated with transitions are considered. These bounds depend on the initial marking and the mean values of the delays but not on the probability distributions (thus including both the deterministic and the stochastic cases). Connections between results and techniques typical of qualitative and quantitative analysis of Petri models are stressed.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128274225","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}
引用次数: 29
Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets 将非指数分布纳入随机定时Petri网的替代方法
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68552
S. C. Bruell, Pozung Chen, G. Balbo
{"title":"Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets","authors":"S. C. Bruell, Pozung Chen, G. Balbo","doi":"10.1109/PNPM.1989.68552","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68552","url":null,"abstract":"A natural and compact way to incorporate nonexponential distributions into stochastic Petri nets is described. It allows users to directly specify the nonexponential transitions at the next level without providing the detailed construction; for example, to specify an Erlang distribution, the user only needs to provide the number of stages and the mean of the distribution. The refinement of the transition with a general distribution is performed automatically with a net-independent mechanism. The resulting net is a GSPN that can be solved with standard techniques. The authors also show how to expand conflicting transitions under the race-enabling policy (without the interconnection of places and transitions internal to the expansion of the different transitions), and have identified the different semantics introduced by nonexponential distributions, when a model does or does not use a control place.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133507512","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}
引用次数: 59
SPNP: stochastic Petri net package SPNP:随机Petri网包
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI: 10.1109/PNPM.1989.68548
G. Ciardo, J. Muppala, Kishor S. Trivedi
{"title":"SPNP: stochastic Petri net package","authors":"G. Ciardo, J. Muppala, Kishor S. Trivedi","doi":"10.1109/PNPM.1989.68548","DOIUrl":"https://doi.org/10.1109/PNPM.1989.68548","url":null,"abstract":"SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented. Advanced constructs are available in SPNP such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; the full expressive power of the C programming language is also available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available including cumulative and up-to-absorption measures. The user is not limited to a predefined set of measures; detailed expressions reflecting exactly the measures sought can be easily specified. The authors conclude by comparing SPNP with two other SPN-based packages, Great SPN and METASAN.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114794729","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}
引用次数: 676
下一页 尾页
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学术官方微信