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

Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)最新文献

筛选
英文 中文
Checking time Petri nets for linear duration properties 检查时间Petri网的线性持续时间属性
Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) Pub Date : 1999-03-24 DOI: 10.1109/PNPM.1999.796568
Xuandong Li, J. Lilius
{"title":"Checking time Petri nets for linear duration properties","authors":"Xuandong Li, J. Lilius","doi":"10.1109/PNPM.1999.796568","DOIUrl":"https://doi.org/10.1109/PNPM.1999.796568","url":null,"abstract":"In this paper, we consider the problem of checking 1-safe time Petri nets for linear duration properties, which are linear inequalities on integrated durations of system states. By showing that a 1-safe time Petri net satisfies a linear duration property if and only if its integral behaviour satisfies the linear duration property, we can give an algorithm that solves the problem based on investigating the integral state space of the 1-safe time Petri net. The algorithm is also improved to avoid exhaustive investigation of the state space.","PeriodicalId":283809,"journal":{"name":"Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131455439","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
On non-decidability of reachability for timed-arc Petri nets 时间弧Petri网可达性的非确定性
Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) Pub Date : 1900-01-01 DOI: 10.1109/PNPM.1999.796565
V. Valero Ruiz, D. de Frutos Escrig, F. Cuartero Gomez
{"title":"On non-decidability of reachability for timed-arc Petri nets","authors":"V. Valero Ruiz, D. de Frutos Escrig, F. Cuartero Gomez","doi":"10.1109/PNPM.1999.796565","DOIUrl":"https://doi.org/10.1109/PNPM.1999.796565","url":null,"abstract":"Timed-arc Petri nets are not Turing powerful, because, in particular, they cannot simulate a counter with test on zero. Thus, we could think that this model does not extend significantly the expressiveness of untimed Petri nets. But this is not true; in this paper we show that the differences between them are big enough to make the reachability problem undecidable. We also define dead tokens as those that cannot be used for firing any transitions in the future and we present some particular cases where we can identify them on this kind of timed nets.","PeriodicalId":283809,"journal":{"name":"Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)","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":"122013545","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
首页 上一页
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学术官方微信