Petri网随时间变化的多重可启用性

Proceedings 9th International Workshop on Petri Nets and Performance Models Pub Date : 2001-09-11 DOI:10.1109/PNPM.2001.953371

M. Boyer, M. Diaz

{"title":"Petri网随时间变化的多重可启用性","authors":"M. Boyer, M. Diaz","doi":"10.1109/PNPM.2001.953371","DOIUrl":null,"url":null,"abstract":"This paper discusses and formalises the benefits of using multiple enabled transitions for extensions of Petri nets having quantitative notions of time. It also points out that what could be thought as a straightforward extension actually implies some subtle underlying semantic choices. As an example, a complete semantics for Merlin's (1974) time Petri nets is defined, based on the threshold notion.","PeriodicalId":364695,"journal":{"name":"Proceedings 9th International Workshop on Petri Nets and Performance Models","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2001-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"35","resultStr":"{\"title\":\"Multiple enabledness of transitions in Petri nets with time\",\"authors\":\"M. Boyer, M. Diaz\",\"doi\":\"10.1109/PNPM.2001.953371\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper discusses and formalises the benefits of using multiple enabled transitions for extensions of Petri nets having quantitative notions of time. It also points out that what could be thought as a straightforward extension actually implies some subtle underlying semantic choices. As an example, a complete semantics for Merlin's (1974) time Petri nets is defined, based on the threshold notion.\",\"PeriodicalId\":364695,\"journal\":{\"name\":\"Proceedings 9th International Workshop on Petri Nets and Performance Models\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"35\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 9th International Workshop on Petri Nets and Performance Models\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.2001.953371\",\"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 9th International Workshop on Petri Nets and Performance Models","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.2001.953371","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 35

摘要

本文讨论并形式化了对具有时间定量概念的Petri网的扩展使用多重启用转换的好处。它还指出，可以被认为是直接的扩展实际上暗示了一些微妙的潜在语义选择。例如，基于阈值概念，定义了Merlin(1974)时间Petri网的完整语义。

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

查看原文本刊更多论文

Multiple enabledness of transitions in Petri nets with time

This paper discusses and formalises the benefits of using multiple enabled transitions for extensions of Petri nets having quantitative notions of time. It also points out that what could be thought as a straightforward extension actually implies some subtle underlying semantic choices. As an example, a complete semantics for Merlin's (1974) time Petri nets is defined, based on the threshold notion.

求助全文

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

来源期刊

Proceedings 9th International Workshop on Petri Nets and Performance Models

自引率

0.00%

发文量