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

Petri Net Technology for Communication-Based Systems最新文献

筛选
英文 中文
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY DFG Forschergruppe Petri Net TECHNOLOGY的Petri Net Baukasten
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_1
H. Weber, H. Ehrig, W. Reisig, A. Borusan, S. Lembke, J. Dehnert, Michael Weber, A. Martens, J. Padberg, C. Ermel, Anilda Qemali
{"title":"The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY","authors":"H. Weber, H. Ehrig, W. Reisig, A. Borusan, S. Lembke, J. Dehnert, Michael Weber, A. Martens, J. Padberg, C. Ermel, Anilda Qemali","doi":"10.1007/978-3-540-40022-6_1","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_1","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120996170","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}
引用次数: 9
Generation of Animation Views for Petri Nets in GenGED GenGED中Petri网动画视图的生成
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_5
C. Ermel, R. Bardohl, H. Ehrig
{"title":"Generation of Animation Views for Petri Nets in GenGED","authors":"C. Ermel, R. Bardohl, H. Ehrig","doi":"10.1007/978-3-540-40022-6_5","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_5","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115838110","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
Inter-organizational Business Process Management with XML Nets 使用XML net进行组织间业务流程管理
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_12
K. Lenz, A. Oberweis
{"title":"Inter-organizational Business Process Management with XML Nets","authors":"K. Lenz, A. Oberweis","doi":"10.1007/978-3-540-40022-6_12","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_12","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125204463","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}
引用次数: 78
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms 基于并发的分布式算法验证转换细化
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_21
Sibylle Peuker
{"title":"Concurrency Based Transition Refinement for the Verification of Distributed Algorithms","authors":"Sibylle Peuker","doi":"10.1007/978-3-540-40022-6_21","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_21","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117266061","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
Application Development Assistance with the Petri Net Baukasten Petri Net Baukasten的应用开发援助
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_2
H. Weber
{"title":"Application Development Assistance with the Petri Net Baukasten","authors":"H. Weber","doi":"10.1007/978-3-540-40022-6_2","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_2","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125597246","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
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology 电子工具集成平台与Petri网技术
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_18
V. Braun, T. Margaria, B. Steffen
{"title":"The Electronic Tool Integration Platform (ETI) and the Petri Net Technology","authors":"V. Braun, T. Margaria, B. Steffen","doi":"10.1007/978-3-540-40022-6_18","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_18","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133211785","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
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets 用消息序列图和Petri网建模铁路交叉口
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_10
Olaf Kluge
{"title":"Modelling a Railway Crossing with Message Sequence Charts and Petri Nets","authors":"Olaf Kluge","doi":"10.1007/978-3-540-40022-6_10","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_10","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122397748","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}
引用次数: 23
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets 案例研究物流:使用代数高阶网络的业务流程灵活建模
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_8
Kathrin Hoffmann
{"title":"Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets","authors":"Kathrin Hoffmann","doi":"10.1007/978-3-540-40022-6_8","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_8","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124732960","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
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets 比较Petri网和活动图变体的工作流建模-对反应性Petri网的探索
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_16
Rik Eshuis, R. Wieringa
{"title":"Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets","authors":"Rik Eshuis, R. Wieringa","doi":"10.1007/978-3-540-40022-6_16","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_16","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129548516","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}
引用次数: 111
Quantitative Engineering of Business Processes with VIP business VIP业务流程的定量工程
Petri Net Technology for Communication-Based Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-40022-6_11
J. Desel, Thomas Erwin
{"title":"Quantitative Engineering of Business Processes with VIP business","authors":"J. Desel, Thomas Erwin","doi":"10.1007/978-3-540-40022-6_11","DOIUrl":"https://doi.org/10.1007/978-3-540-40022-6_11","url":null,"abstract":"","PeriodicalId":238609,"journal":{"name":"Petri Net Technology for Communication-Based Systems","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126316091","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书