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.
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)
External co-authors :
no
Language :
English
Title :
SLAPn: A Tool for slicing Algebraic Petri nets
Publication date :
2014
Event name :
International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014