SLAPn: A Tool for slicing Algebraic Petri nets

Reference : SLAPn: A Tool for slicing Algebraic Petri nets


	Document type :	Scientific congresses, symposiums and conference proceedings : Poster
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/17464

Title :	SLAPn: A Tool for slicing Algebraic Petri nets
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 :	2014
Peer reviewed :	Yes
Audience :	International
Event name :	International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014
Event date :	23-06-2014 TO 27-06-2014
Keywords :	[en] Model checking ; Meta model ; Algebraic Petri nets ; Slicing
Abstract :	[en] Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the analysis of systems modelled in Algebraic Petri nets, model checking and testing are used commonly. Petri nets slicing is getting an attention recently to improve the analysis of systems modelled in Petri nets or Algebraic Petri nets. This work is oriented to define Algebraic Petri nets slicing and implement it in a verification tool.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/17464

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	pnse14-32-yasirimtiazkhan.pdf		Publisher postprint	448.38 kB	View/Open

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