Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
Pub Date : 2020-06-02DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：