时间Petri网与时间流Petri网不等价

Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) Pub Date : 1999-09-08 DOI:10.1109/PNPM.1999.796566

M. Boyer, M. Diaz

{"title":"时间Petri网与时间流Petri网不等价","authors":"M. Boyer, M. Diaz","doi":"10.1109/PNPM.1999.796566","DOIUrl":null,"url":null,"abstract":"It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that there does not exist a time equivalence between both models. We extend first this result to the non equivalence of Timed Automata and Time Petri Nets and second to the non equivalence of Timed Link Petri Net and Timed Transition Petri Net.","PeriodicalId":283809,"journal":{"name":"Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":"{\"title\":\"Non equivalence between time Petri nets and time stream Petri nets\",\"authors\":\"M. Boyer, M. Diaz\",\"doi\":\"10.1109/PNPM.1999.796566\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that there does not exist a time equivalence between both models. We extend first this result to the non equivalence of Timed Automata and Time Petri Nets and second to the non equivalence of Timed Link Petri Net and Timed Transition Petri Net.\",\"PeriodicalId\":283809,\"journal\":{\"name\":\"Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-09-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"25\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.1999.796566\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1999.796566","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 25

摘要

证明了梅林时间Petri网是时间流Petri网的一个特例。在本文中，我们证明了两种模型之间不存在时间等价。我们首先将这一结果推广到时间自动机和时间Petri网的不等价性，然后推广到时间链接Petri网和时间转移Petri网的不等价性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Non equivalence between time Petri nets and time stream Petri nets

It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that there does not exist a time equivalence between both models. We extend first this result to the non equivalence of Timed Automata and Time Petri Nets and second to the non equivalence of Timed Link Petri Net and Timed Transition Petri Net.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量