Comparison of different semantics for time Petri nets

B. Bérard*, F. Cassez, S. Haddad, Didier Lime, O. H. Roux

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

36 Citations (Scopus)

Abstract

In this paper we study the model of Time Potri Nets (TPNs) where a time interval is associated with the firing of a transition, but we extend it by considering general intervals rather than closed ones. A key feature of timed models is the memory policy, i.e. which timing informations are kept when a transition is fired. The original model selects an intermediate semantics where the transitions disabled after consuming the tokens, as well as the firing transition, are reinitialised. However this semantics is not appropriate for some applications. So we consider here two alternative semantics: the atomic and the persistent atomic ones. First we present relevant patterns of discrete event systems which show the interest of these semantics. Then we compare the expressiveness of the three semantics w.r.t. weak timed bisirnilarity, establishing inclusion results in the general case. Furthermore we show that some inclusions are strict with unrestricted intervals even when nets are bounded. Then we focus on bounded TPNs with upper-closed intervals arid we prove that the semantics are equivalent. Finally taking into account both the practical and the theoretical issues, we conclude that persistent, atomic semantics should be preferred.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Pages293-307
Number of pages15
Volume3707 LNCS
ISBN (Print)3540292098, 9783540292098
Publication statusPublished - 2005
Externally publishedYes
EventThird International Symposium on Automated Technology for Verification and Analysis, ATVA 2005 - Taipei, Taiwan, Province of China
Duration: 4 Oct 20057 Oct 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3707 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

OtherThird International Symposium on Automated Technology for Verification and Analysis, ATVA 2005
CountryTaiwan, Province of China
CityTaipei
Period4/10/057/10/05

Keywords

  • Expressiveness
  • Time Petri Nets
  • Timed Bisimilariy

Fingerprint Dive into the research topics of 'Comparison of different semantics for time Petri nets'. Together they form a unique fingerprint.

Cite this