时间Petri网分析的抽象状态空间

2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) Pub Date : 2008-05-05 DOI:10.1109/ISORC.2008.75

B. Berthomieu, Florent Peres, F. Vernadat

{"title":"时间Petri网分析的抽象状态空间","authors":"B. Berthomieu, Florent Peres, F. Vernadat","doi":"10.1109/ISORC.2008.75","DOIUrl":null,"url":null,"abstract":"The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces. The classical \"state classes\" construction, preserving markings and LTL properties, is explained in section 3, and its properties discussed. Section 4 explains the richer \"strong state classes\" abstraction, that allows in addition to decide state reachability properties. Section 5 discusses preservation of branching properties and explains the \"atomic state classes\" construction. Finally, section 7 discusses a number of related issues and recent results, including extensions of these methods to handle enriched classes of time Petri nets.","PeriodicalId":378715,"journal":{"name":"2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Abstract State Spaces for Time Petri Nets Analysis\",\"authors\":\"B. Berthomieu, Florent Peres, F. Vernadat\",\"doi\":\"10.1109/ISORC.2008.75\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces. The classical \\\"state classes\\\" construction, preserving markings and LTL properties, is explained in section 3, and its properties discussed. Section 4 explains the richer \\\"strong state classes\\\" abstraction, that allows in addition to decide state reachability properties. Section 5 discusses preservation of branching properties and explains the \\\"atomic state classes\\\" construction. Finally, section 7 discusses a number of related issues and recent results, including extensions of these methods to handle enriched classes of time Petri nets.\",\"PeriodicalId\":378715,\"journal\":{\"name\":\"2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)\",\"volume\":\"88 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-05-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISORC.2008.75\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.2008.75","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

本文组织如下。第2节回顾了时间Petri网的术语及其状态空间的定义。经典的“状态类”构造，保留标记和LTL属性，将在第3节中解释，并讨论其属性。第4节解释了更丰富的“强状态类”抽象，它允许另外决定状态可达性属性。第5节讨论了分支属性的保存，并解释了“原子状态类”的构造。最后，第7节讨论了一些相关的问题和最近的结果，包括这些方法的扩展，以处理时间Petri网的丰富类。

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

查看原文本刊更多论文

Abstract State Spaces for Time Petri Nets Analysis

The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces. The classical "state classes" construction, preserving markings and LTL properties, is explained in section 3, and its properties discussed. Section 4 explains the richer "strong state classes" abstraction, that allows in addition to decide state reachability properties. Section 5 discusses preservation of branching properties and explains the "atomic state classes" construction. Finally, section 7 discusses a number of related issues and recent results, including extensions of these methods to handle enriched classes of time Petri nets.

求助全文

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

来源期刊

2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)

自引率

0.00%

发文量