Internal report (Reports)
Survey of Petri nets Slicing
Khan, Yasir Imtiaz; Guelfi, Nicolas
2013
 

Files


Full Text
surveyPN.pdf
Publisher postprint (573.17 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Petri nets; Slicing; model checking
Abstract :
[en] Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Different Petri nets slicing constructions are studied along with algorithms to compute them. Petri nets slicing was first developed to facilitate debugging but then devel- oped for alleviating the state space explosion problem for model checking Petri nets. This article has twofold objectives, the first is to unify all the existing slicing algorithms syntactically by the definition of a standard abstract syntax and rewriting of the studied slicing algorithms using the proposed syntax. The second is to discuss the contribution of each slicing construction and comparing the major differences between them. One of the interesting exploitation of the survey is for the selection and im- provement of slicing techniques for approaches concerned by optimizing verification of state event models.
Disciplines :
Computer science
Author, co-author :
Khan, Yasir Imtiaz ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Guelfi, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Survey of Petri nets Slicing
Publication date :
2013
Publisher :
lassy
Available on ORBilu :
since 21 December 2013

Statistics


Number of views
234 (11 by Unilu)
Number of downloads
454 (3 by Unilu)

Bibliography


Similar publications



Contact ORBilu