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

Lectures on Concurrency and Petri Nets最新文献

筛选
英文 中文
Petri Nets and Dependability Petri网和可靠性
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_4
Simona Bernardi, A. Bobbio, S. Donatelli
{"title":"Petri Nets and Dependability","authors":"Simona Bernardi, A. Bobbio, S. Donatelli","doi":"10.1007/978-3-540-27755-2_4","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_4","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126812128","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}
引用次数: 11
Model Validation in Controller Design 控制器设计中的模型验证
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_13
J. Desel, Vesna Milijic, Christian Neumair
{"title":"Model Validation in Controller Design","authors":"J. Desel, Vesna Milijic, Christian Neumair","doi":"10.1007/978-3-540-27755-2_13","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_13","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122975644","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}
引用次数: 11
Model-Based Development of Executable Business Processes for Web Services 基于模型的Web服务可执行业务流程开发
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_16
R. Heckel, H. Voigt
{"title":"Model-Based Development of Executable Business Processes for Web Services","authors":"R. Heckel, H. Voigt","doi":"10.1007/978-3-540-27755-2_16","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_16","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130523818","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
Bigraphs for Petri Nets Petri网的图形
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_19
R. Milner
{"title":"Bigraphs for Petri Nets","authors":"R. Milner","doi":"10.1007/978-3-540-27755-2_19","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_19","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132116842","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}
引用次数: 63
Application of Coloured Petri Nets in System Development 彩色Petri网在系统开发中的应用
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_18
L. Kristensen, Jens Bæk Jørgensen, K. Jensen
{"title":"Application of Coloured Petri Nets in System Development","authors":"L. Kristensen, Jens Bæk Jørgensen, K. Jensen","doi":"10.1007/978-3-540-27755-2_18","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_18","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"285 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122973954","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}
引用次数: 93
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 将零安全方法扩展到彩色、可重构和动态网络
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_7
R. Bruni, Hernán C. Melgratti, U. Montanari
{"title":"Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets","authors":"R. Bruni, Hernán C. Melgratti, U. Montanari","doi":"10.1007/978-3-540-27755-2_7","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_7","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122087862","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
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned 教学彩色Petri网:课程和经验教训的例子
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_10
S. Christensen, Jens Bæk Jørgensen
{"title":"Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned","authors":"S. Christensen, Jens Bæk Jørgensen","doi":"10.1007/978-3-540-27755-2_10","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_10","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129488069","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
Notes on Timed Concurrent Constraint Programming 关于定时并发约束编程的注意事项
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_20
M. Nielsen, F. Valencia
{"title":"Notes on Timed Concurrent Constraint Programming","authors":"M. Nielsen, F. Valencia","doi":"10.1007/978-3-540-27755-2_20","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_20","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127642110","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
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management 业务流程管理揭秘:工作流管理的模型、系统和标准教程
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_1
Wil M.P. van der Aalst
{"title":"Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management","authors":"Wil M.P. van der Aalst","doi":"10.1007/978-3-540-27755-2_1","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_1","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123015732","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}
引用次数: 236
A Coloured Petri Net Approach to Protocol Verification 协议验证的彩色Petri网方法
Lectures on Concurrency and Petri Nets Pub Date : 2003-09-01 DOI: 10.1007/978-3-540-27755-2_6
J. Billington, G. E. Gallasch, Bing Han
{"title":"A Coloured Petri Net Approach to Protocol Verification","authors":"J. Billington, G. E. Gallasch, Bing Han","doi":"10.1007/978-3-540-27755-2_6","DOIUrl":"https://doi.org/10.1007/978-3-540-27755-2_6","url":null,"abstract":"","PeriodicalId":410779,"journal":{"name":"Lectures on Concurrency and Petri Nets","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115482361","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}
引用次数: 81
下一页 尾页
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学术官方微信