Survey of Petri nets Slicing

Reference : Survey of Petri nets Slicing


	Document type :	Reports : Internal report
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/13606

Title :	Survey of Petri nets Slicing
Language :	English
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) >]
Publication date :	2013
Publisher :	lassy
Keywords :	[en] 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.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/13606

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	surveyPN.pdf		Publisher postprint	559.74 kB	View/Open

All documents in ORBi^lu are protected by a user license.