Reference : Survey of Petri nets Slicing
Reports : Internal report
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/13606
Survey of Petri nets Slicing
English
Khan, Yasir Imtiaz mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Guelfi, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2013
lassy
[en] Petri nets ; Slicing ; model checking
[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.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/13606

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
surveyPN.pdfPublisher postprint559.74 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.