Model checking; Meta model; Algebraic Petri nets; Slicing
Résumé :
[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 :
Sciences informatiques
Auteur, co-auteur :
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)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
SLAPn: A Tool for slicing Algebraic Petri nets
Date de publication/diffusion :
2014
Nom de la manifestation :
International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014
