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

Applications and Theory in Petri Nets最新文献

筛选
英文 中文
Making nets abstract and structures 使网抽象和结构
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016212
L. Czaja
{"title":"Making nets abstract and structures","authors":"L. Czaja","doi":"10.1007/BFb0016212","DOIUrl":"https://doi.org/10.1007/BFb0016212","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126514840","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
Beta processes of C/E systems C/E系统的测试过程
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016207
Luca A. Castellano
{"title":"Beta processes of C/E systems","authors":"Luca A. Castellano","doi":"10.1007/BFb0016207","DOIUrl":"https://doi.org/10.1007/BFb0016207","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115042277","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
Some equivalence notions for concurrent systems. An overview 并发系统的一些等价概念。概述
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016222
L. Pomello
{"title":"Some equivalence notions for concurrent systems. An overview","authors":"L. Pomello","doi":"10.1007/BFb0016222","DOIUrl":"https://doi.org/10.1007/BFb0016222","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126017008","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}
引用次数: 98
Guidelines on using net analysis techniques with large specifications 使用大型规格的网络分析技术的指南
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016210
G. Comparin, G. Lanzarone, Kurt Lautenbach, A. Pagnoni, W. Panzeri, A. Torgano
{"title":"Guidelines on using net analysis techniques with large specifications","authors":"G. Comparin, G. Lanzarone, Kurt Lautenbach, A. Pagnoni, W. Panzeri, A. Torgano","doi":"10.1007/BFb0016210","DOIUrl":"https://doi.org/10.1007/BFb0016210","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134494885","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
A logical formalism for the study of the infinite behaviour of Petri nets 研究Petri网无穷行为的逻辑形式
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016220
M. Parigot, E. Pelz
{"title":"A logical formalism for the study of the infinite behaviour of Petri nets","authors":"M. Parigot, E. Pelz","doi":"10.1007/BFb0016220","DOIUrl":"https://doi.org/10.1007/BFb0016220","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131435192","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
Pascal semantics by a combination of denotational semantics and high-level Petri nets Pascal语义学由指称语义学和高级Petri网结合而成
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016218
K. Jensen, E. M. Schmidt
{"title":"Pascal semantics by a combination of denotational semantics and high-level Petri nets","authors":"K. Jensen, E. M. Schmidt","doi":"10.1007/BFb0016218","DOIUrl":"https://doi.org/10.1007/BFb0016218","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114123848","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}
引用次数: 6
Petri nets, morphisms and compositionality Petri网，态射和组合
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016226
G. Winskel
{"title":"Petri nets, morphisms and compositionality","authors":"G. Winskel","doi":"10.1007/BFb0016226","DOIUrl":"https://doi.org/10.1007/BFb0016226","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120970613","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}
引用次数: 22
On the invariants of coloured Petri nets 关于有色Petri网的不变量
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016219
Y. Narahari, N. Viswanadham
{"title":"On the invariants of coloured Petri nets","authors":"Y. Narahari, N. Viswanadham","doi":"10.1007/BFb0016219","DOIUrl":"https://doi.org/10.1007/BFb0016219","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134008347","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
Checking properties of nets using transformation 使用变换检查网的属性
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016204
G. Berthelot
{"title":"Checking properties of nets using transformation","authors":"G. Berthelot","doi":"10.1007/BFb0016204","DOIUrl":"https://doi.org/10.1007/BFb0016204","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128658364","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}
引用次数: 274
Towards a comprehensive office model integrating information and resources 迈向信息与资源一体化的综合办公模式
Applications and Theory in Petri Nets Pub Date : 1985-06-01 DOI: 10.1007/BFb0016223
G. Richter, K. Voss
{"title":"Towards a comprehensive office model integrating information and resources","authors":"G. Richter, K. Voss","doi":"10.1007/BFb0016223","DOIUrl":"https://doi.org/10.1007/BFb0016223","url":null,"abstract":"","PeriodicalId":142312,"journal":{"name":"Applications and Theory in Petri Nets","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133845175","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
首页 上一页 下一页 尾页
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学术官方微信