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

Application and Theory of Petri Nets and Concurrency最新文献

筛选
英文 中文
A Study on Team Bisimulations for BPP Nets BPP网络的团队模拟研究
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_8
R. Gorrieri
{"title":"A Study on Team Bisimulations for BPP Nets","authors":"R. Gorrieri","doi":"10.1007/978-3-030-51831-8_8","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_8","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129652625","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
Visualizing Token Flows Using Interactive Performance Spectra 使用交互式性能谱可视化令牌流
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_18
Wil M.P. van der Aalst, Daniel Tacke Genannt Unterberg, Vadim Denisov, Dirk Fahland
{"title":"Visualizing Token Flows Using Interactive Performance Spectra","authors":"Wil M.P. van der Aalst, Daniel Tacke Genannt Unterberg, Vadim Denisov, Dirk Fahland","doi":"10.1007/978-3-030-51831-8_18","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_18","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"57 72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117218464","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
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets 安全非对称选择工作流网络健全性问题的pspace -完备性
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_10
Guanjun Liu
{"title":"PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets","authors":"Guanjun Liu","doi":"10.1007/978-3-030-51831-8_10","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_10","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121460149","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
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 对称网络表达式的符号计算器
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_19
L. Capra, M. Pierro, G. Franceschinis
{"title":"SNexpression: A Symbolic Calculator for Symmetric Net Expressions","authors":"L. Capra, M. Pierro, G. Franceschinis","doi":"10.1007/978-3-030-51831-8_19","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_19","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122872644","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
A New Property of Choice-Free Petri Net Systems 自由选择Petri网系统的一个新性质
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_5
E. Best, Raymond R. Devillers, Evgeny Erofeev
{"title":"A New Property of Choice-Free Petri Net Systems","authors":"E. Best, Raymond R. Devillers, Evgeny Erofeev","doi":"10.1007/978-3-030-51831-8_5","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_5","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133946398","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
Interleaving vs True Concurrency: Some Instructive Security Examples 交错与真正的并发:一些有指导意义的安全示例
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_7
R. Gorrieri
{"title":"Interleaving vs True Concurrency: Some Instructive Security Examples","authors":"R. Gorrieri","doi":"10.1007/978-3-030-51831-8_7","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_7","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131882954","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}
引用次数: 8
A CTL* Model Checker for Petri Nets Petri网CTL*模型检查器
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_21
E. Amparore, S. Donatelli, Francesco Gallà
{"title":"A CTL* Model Checker for Petri Nets","authors":"E. Amparore, S. Donatelli, Francesco Gallà","doi":"10.1007/978-3-030-51831-8_21","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_21","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133591649","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
Petri Nets Validation of Markovian Models of Emergency Department Arrivals 急诊科到达马尔可夫模型的Petri网验证
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_11
Paolo Ballarini, Davide Duma, A. Horváth, R. Aringhieri
{"title":"Petri Nets Validation of Markovian Models of Emergency Department Arrivals","authors":"Paolo Ballarini, Davide Duma, A. Horváth, R. Aringhieri","doi":"10.1007/978-3-030-51831-8_11","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_11","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124001835","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
Structural Reductions Revisited 重新审视结构性削减
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-05-26 DOI: 10.1007/978-3-030-51831-8_15
Y. Thierry-Mieg
{"title":"Structural Reductions Revisited","authors":"Y. Thierry-Mieg","doi":"10.1007/978-3-030-51831-8_15","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_15","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121365515","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
Piecewise Affine Dynamical Models of Timed Petri Nets – Application to Emergency Call Centers 时间Petri网的分段仿射动力学模型——在紧急呼叫中心中的应用
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-04-20 DOI: 10.3233/FI-2021-2086
Xavier Allamigeon, M. Boyet, S. Gaubert
{"title":"Piecewise Affine Dynamical Models of Timed Petri Nets – Application to Emergency Call Centers","authors":"Xavier Allamigeon, M. Boyet, S. Gaubert","doi":"10.3233/FI-2021-2086","DOIUrl":"https://doi.org/10.3233/FI-2021-2086","url":null,"abstract":"We study timed Petri nets, with preselection and priority routing. We represent the behavior of these systems by piecewise affine dynamical systems. We use tools from the theory of nonexpansive mappings to analyze these systems. We establish an equivalence theorem between priority-free fluid timed Petri nets and semi-Markov decision processes, from which we derive the convergence to a periodic regime and the polynomial-time computability of the throughput. More generally, we develop an approach inspired by tropical geometry, characterizing the congestion phases as the cells of a polyhedral complex. We illustrate these results by a current application to the performance evaluation of emergency call centers in the Paris area.","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129073694","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
首页 上一页 下一页 尾页
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学术官方微信