Reference : Slicing High-level Petri nets
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/17465
Slicing High-level Petri nets
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) >]
23-Jun-2014
International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014
20
Yes
International
International Workshop on Petri Nets and Software Engineering (PNSE'14)
23-06-2014 TO 27-06-2014
TUNIS
TUNIS
[en] Model checking ; Slicing ; Algebraic Petri nets
[en] High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both (i.e., low-level and high-level Petri nets) because of the state space explosion problem and test case selection. The contribution of this paper is to propose a technique to improve the model checking and test- ing of systems modeled using Algebraic Petri nets (a variant of high-level petri nets). To achieve the objective, we propose different slicing algo- rithms for Algebraic Petri nets. We argue that our slicing algorithms significantly improve the state of the art related to slicing APNs and can also be applied to low-level Petri nets with slight modifications. We exemplify our proposed algorithms through a case study of a car crash management system.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/17465

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
pnse14-19-yasirimitazkhan.pdfPublisher postprint1.57 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.