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

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

筛选
英文 中文
The Information Systems Modeling Suite 信息系统建模套件
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_22
J. V. D. Werf, Artem Polyvyanyy
{"title":"The Information Systems Modeling Suite","authors":"J. V. D. Werf, Artem Polyvyanyy","doi":"10.1007/978-3-030-51831-8_22","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_22","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"1 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":"128553541","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
Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account Petri网自动分解成自动机网络——一个综合帐户
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_1
Pierre Bouvier, H. Garavel, Hernán Ponce de León
{"title":"Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account","authors":"Pierre Bouvier, H. Garavel, Hernán Ponce de León","doi":"10.1007/978-3-030-51831-8_1","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_1","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"25 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":"134208119","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}
引用次数: 15
Dynamic Recursive Petri Nets 动态递归Petri网
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_17
S. Haddad, I. Khmelnitsky
{"title":"Dynamic Recursive Petri Nets","authors":"S. Haddad, I. Khmelnitsky","doi":"10.1007/978-3-030-51831-8_17","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_17","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"118 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":"134063534","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
Data Centric Workflows for Crowdsourcing 面向众包的数据中心工作流
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_2
P. Bourhis, L. Hélouët, Z. Miklós, Rituraj Singh
{"title":"Data Centric Workflows for Crowdsourcing","authors":"P. Bourhis, L. Hélouët, Z. Miklós, Rituraj Singh","doi":"10.1007/978-3-030-51831-8_2","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_2","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"55 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":"133929319","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
Automated Repair of Process Models Using Non-local Constraints 基于非局部约束的过程模型自动修复
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_14
A. Kalenkova, J. Carmona, Artem Polyvyanyy, M. Rosa
{"title":"Automated Repair of Process Models Using Non-local Constraints","authors":"A. Kalenkova, J. Carmona, Artem Polyvyanyy, M. Rosa","doi":"10.1007/978-3-030-51831-8_14","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_14","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"3 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":"117242096","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
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions 具有分支时间获胜条件的多权博弈的综合
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_3
Isabella Kaufmann, K. Larsen, J. Srba
{"title":"Synthesis for Multi-weighted Games with Branching-Time Winning Conditions","authors":"Isabella Kaufmann, K. Larsen, J. Srba","doi":"10.1007/978-3-030-51831-8_3","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_3","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"31 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":"114215018","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
Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources 修复缺少事件的事件日志，以支持共享资源系统的性能分析
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_12
Vadim Denisov, Dirk Fahland, Wil M.P. van der Aalst
{"title":"Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources","authors":"Vadim Denisov, Dirk Fahland, Wil M.P. van der Aalst","doi":"10.1007/978-3-030-51831-8_12","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_12","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"129 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":"125234552","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}
引用次数: 10
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams 利用区间决策图高效展开彩色Petri网
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_16
M. Schwarick, Christian Rohr, Fei Liu, George Assaf, J. Chodak, M. Heiner
{"title":"Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams","authors":"M. Schwarick, Christian Rohr, Fei Liu, George Assaf, J. Chodak, M. Heiner","doi":"10.1007/978-3-030-51831-8_16","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_16","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"22 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":"132429956","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}
引用次数: 10
Circular Traffic Queues and Petri’s Cycloids 环形交通队列和佩氏摆线
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_9
R. Valk
{"title":"Circular Traffic Queues and Petri’s Cycloids","authors":"R. Valk","doi":"10.1007/978-3-030-51831-8_9","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_9","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"26 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":"130645590","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
On-the-Fly Synthesis for Strictly Alternating Games 严格交替游戏的动态合成
Application and Theory of Petri Nets and Concurrency Pub Date : 2020-06-02 DOI: 10.1007/978-3-030-51831-8_6
Shyam Lal Karra, K. Larsen, Marco Muñiz, J. Srba
{"title":"On-the-Fly Synthesis for Strictly Alternating Games","authors":"Shyam Lal Karra, K. Larsen, Marco Muñiz, J. Srba","doi":"10.1007/978-3-030-51831-8_6","DOIUrl":"https://doi.org/10.1007/978-3-030-51831-8_6","url":null,"abstract":"","PeriodicalId":309247,"journal":{"name":"Application and Theory of Petri Nets and Concurrency","volume":"117 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":"127157351","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
下一页 尾页
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学术官方微信