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

Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets最新文献

筛选
英文 中文
Use of the Behaviour Equivalence in Place-Transition Net Analysis 行为等价在地点-过渡网络分析中的应用
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_41
C. André
{"title":"Use of the Behaviour Equivalence in Place-Transition Net Analysis","authors":"C. André","doi":"10.1007/978-3-642-68353-4_41","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_41","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122943935","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}
引用次数: 25
Transforming Nets Along the Syntactic Production of Programs 在节目的句法生产过程中改造网络
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_6
E. Wegner
{"title":"Transforming Nets Along the Syntactic Production of Programs","authors":"E. Wegner","doi":"10.1007/978-3-642-68353-4_6","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_6","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123007931","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
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net 一种获取广义Petri网所有不变量的简单快速算法
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_47
Javier Martínez, Manuel Silva
{"title":"A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net","authors":"Javier Martínez, Manuel Silva","doi":"10.1007/978-3-642-68353-4_47","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_47","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115919024","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}
引用次数: 257
Design-Review by Petri-Nets Petri-Nets的设计审查
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_7
E. Grill
{"title":"Design-Review by Petri-Nets","authors":"E. Grill","doi":"10.1007/978-3-642-68353-4_7","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_7","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124243408","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
On the Logic of Concurrency and Conflict 论并行与冲突的逻辑
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_43
G. Mauri, M. Brambilla
{"title":"On the Logic of Concurrency and Conflict","authors":"G. Mauri, M. Brambilla","doi":"10.1007/978-3-642-68353-4_43","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_43","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123567509","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
Petri Net Modelling and Reliability of Distributed Algorithms Petri网建模与分布式算法的可靠性
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_2
G. Berthelot, C. Girault, G. Roucairol
{"title":"Petri Net Modelling and Reliability of Distributed Algorithms","authors":"G. Berthelot, C. Girault, G. Roucairol","doi":"10.1007/978-3-642-68353-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_2","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130989983","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
An Equivalence-Notion for Condition/Event-Systems 条件/事件系统的等价概念
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_20
Engin Sirmen
{"title":"An Equivalence-Notion for Condition/Event-Systems","authors":"Engin Sirmen","doi":"10.1007/978-3-642-68353-4_20","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_20","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"31 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121973410","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
Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol 基于随机Petri网的全双工协议最大吞吐量评估
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_45
G. Florin, S. Natkin
{"title":"Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol","authors":"G. Florin, S. Natkin","doi":"10.1007/978-3-642-68353-4_45","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_45","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129601957","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}
引用次数: 41
Behaviour of a Place - Transition Net on a Subset of Transitions 场所-过渡网在过渡子集上的行为
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_22
C. André
{"title":"Behaviour of a Place - Transition Net on a Subset of Transitions","authors":"C. André","doi":"10.1007/978-3-642-68353-4_22","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_22","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123324434","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}
引用次数: 12
Two Alterative Definitions of Synchronic Distance 共时距离的两种不同定义
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Pub Date : 1980-09-28 DOI: 10.1007/978-3-642-68353-4_16
U. Goltz, W. Reisig, P. Thiagarajan
{"title":"Two Alterative Definitions of Synchronic Distance","authors":"U. Goltz, W. Reisig, P. Thiagarajan","doi":"10.1007/978-3-642-68353-4_16","DOIUrl":"https://doi.org/10.1007/978-3-642-68353-4_16","url":null,"abstract":"","PeriodicalId":306647,"journal":{"name":"Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132845790","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
首页 上一页 下一页 尾页
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学术官方微信