Real-time property specific reduction for Time Petri Net

Ning Ge; Marc Pantel

Real-time property specific reduction for Time Petri Net

Ning Ge^*
, Marc Pantel

^*Corresponding author for this work

LAAS-CNRS
CNRS

Research output: Contribution to journal › Conference article › peer-review

2 Scopus citations

Abstract

This paper presents a real-time property specific reduction approach for Time Petri Net (TPN). It divides TPN models into sub-nets of smaller size, and constructs an abstraction of reducible ones, which exhibits the same property specific behavior, but has less transitions and states. This directly reduces the amount of computation needed to generate the whole state space. This method adapts well to the verification of real-time properties in asynchronous systems. It should be possible to apply similar methods to other families of properties.

Original language	English
Pages (from-to)	165-179
Number of pages	15
Journal	CEUR Workshop Proceedings
Volume	1160
State	Published - 2014
Externally published	Yes
Event	International Workshop on Petri Nets and Software Engineering, PNSE 2014 - Tunis, Tunisia Duration: 23 Jun 2014 → 24 Jun 2014

Keywords

Real-time property specific reduction
Time Petri Net

Cite this

@article{59631d12faf746e5b44471a2bc246e0b,

title = "Real-time property specific reduction for Time Petri Net",

abstract = "This paper presents a real-time property specific reduction approach for Time Petri Net (TPN). It divides TPN models into sub-nets of smaller size, and constructs an abstraction of reducible ones, which exhibits the same property specific behavior, but has less transitions and states. This directly reduces the amount of computation needed to generate the whole state space. This method adapts well to the verification of real-time properties in asynchronous systems. It should be possible to apply similar methods to other families of properties.",

keywords = "Real-time property specific reduction, Time Petri Net",

author = "Ning Ge and Marc Pantel",

year = "2014",

language = "英语",

volume = "1160",

pages = "165--179",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "International Workshop on Petri Nets and Software Engineering, PNSE 2014 ; Conference date: 23-06-2014 Through 24-06-2014",

}

TY - JOUR

T1 - Real-time property specific reduction for Time Petri Net

AU - Ge, Ning

AU - Pantel, Marc

PY - 2014

Y1 - 2014

N2 - This paper presents a real-time property specific reduction approach for Time Petri Net (TPN). It divides TPN models into sub-nets of smaller size, and constructs an abstraction of reducible ones, which exhibits the same property specific behavior, but has less transitions and states. This directly reduces the amount of computation needed to generate the whole state space. This method adapts well to the verification of real-time properties in asynchronous systems. It should be possible to apply similar methods to other families of properties.

AB - This paper presents a real-time property specific reduction approach for Time Petri Net (TPN). It divides TPN models into sub-nets of smaller size, and constructs an abstraction of reducible ones, which exhibits the same property specific behavior, but has less transitions and states. This directly reduces the amount of computation needed to generate the whole state space. This method adapts well to the verification of real-time properties in asynchronous systems. It should be possible to apply similar methods to other families of properties.

KW - Real-time property specific reduction

KW - Time Petri Net

UR - https://www.scopus.com/pages/publications/84907934967

M3 - 会议文章

AN - SCOPUS:84907934967

SN - 1613-0073

VL - 1160

SP - 165

EP - 179

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - International Workshop on Petri Nets and Software Engineering, PNSE 2014

Y2 - 23 June 2014 through 24 June 2014

ER -

Real-time property specific reduction for Time Petri Net

Abstract

Keywords

Other files and links

Fingerprint

Cite this