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

Advances in Petri Nets: The DEMON Project最新文献

筛选
英文 中文
A survey of basic net models and modular net classes 基本网络模型和模块化网络类综述
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_177
L. Bernardinello, F. Cindio
{"title":"A survey of basic net models and modular net classes","authors":"L. Bernardinello, F. Cindio","doi":"10.1007/3-540-55610-9_177","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_177","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"5 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":"122523297","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}
引用次数: 143
Esprit Basic Research Action 3148 DEMON (design methods based on nets) Esprit基础研究行动3148 DEMON(基于网络的设计方法)
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_166
E. Best
{"title":"Esprit Basic Research Action 3148 DEMON (design methods based on nets)","authors":"E. Best","doi":"10.1007/3-540-55610-9_166","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_166","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"10 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":"133121447","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
Maximality preservation and the ST-idea for action refinements 最大化保存和st思想的动作改进
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_170
Raymond R. Devillers
{"title":"Maximality preservation and the ST-idea for action refinements","authors":"Raymond R. Devillers","doi":"10.1007/3-540-55610-9_170","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_170","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"1 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":"131267555","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}
引用次数: 28
A basic-net algebra for program semantics and its application to OCCAM 程序语义的基本网络代数及其在OCCAM中的应用
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_172
Richard P. Hopkins, Jon G. Hall, O. Botti
{"title":"A basic-net algebra for program semantics and its application to OCCAM","authors":"Richard P. Hopkins, Jon G. Hall, O. Botti","doi":"10.1007/3-540-55610-9_172","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_172","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"8 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":"124422196","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}
引用次数: 21
Structural techniques and performance bounds of stochastic Petri net models 随机Petri网模型的结构技术与性能界限
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_178
J. Campos, M. Suárez
{"title":"Structural techniques and performance bounds of stochastic Petri net models","authors":"J. Campos, M. Suárez","doi":"10.1007/3-540-55610-9_178","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_178","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"10 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":"127458668","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}
引用次数: 70
A survey of recognizable languages with infinite traces 对具有无限痕迹的可识别语言的调查
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_179
P. Gastin, A. Petit
{"title":"A survey of recognizable languages with infinite traces","authors":"P. Gastin, A. Petit","doi":"10.1007/3-540-55610-9_179","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_179","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"9 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113979101","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
The effect of vector synchronization: residue and loss 矢量同步的影响:残差和损耗
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_173
N. W. Keesmaat, J. Kleijn
{"title":"The effect of vector synchronization: residue and loss","authors":"N. W. Keesmaat, J. Kleijn","doi":"10.1007/3-540-55610-9_173","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_173","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"21 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":"126445002","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
A survey of equivalence notions for net based systems 基于网络的系统等价概念综述
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_180
L. Pomello, G. Rozenberg, C. Simone
{"title":"A survey of equivalence notions for net based systems","authors":"L. Pomello, G. Rozenberg, C. Simone","doi":"10.1007/3-540-55610-9_180","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_180","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"67 1 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":"124099098","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}
引用次数: 143
Interleaving semantics and action refinement with atomic choice 具有原子选择的交错语义和动作细化
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_169
Ingo Czaja, R. V. Glabbeek, U. Goltz
{"title":"Interleaving semantics and action refinement with atomic choice","authors":"Ingo Czaja, R. V. Glabbeek, U. Goltz","doi":"10.1007/3-540-55610-9_169","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_169","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"84 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":"127749602","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}
引用次数: 34
Partial words versus processes: a short comparison 部分词与过程:一个简短的比较
Advances in Petri Nets: The DEMON Project Pub Date : 1900-01-01 DOI: 10.1007/3-540-55610-9_176
W. Vogler
{"title":"Partial words versus processes: a short comparison","authors":"W. Vogler","doi":"10.1007/3-540-55610-9_176","DOIUrl":"https://doi.org/10.1007/3-540-55610-9_176","url":null,"abstract":"","PeriodicalId":354210,"journal":{"name":"Advances in Petri Nets: The DEMON Project","volume":"44 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":"134174349","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}
引用次数: 13
下一页 尾页
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学术官方微信