Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Optimizing algebraic petri net model checking by slicing
Khan, Yasir Imtiaz; risoldi, matteo
2013In International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013.
Peer reviewed
 

Files


Full Text
ModBE13-01-khan.pdf
Publisher postprint (898.27 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
High-level Petri nets; Model checking; Slicing
Abstract :
[en] High-level Petri nets make models more concise and read- able as compared to low-level Petri nets. However, usual verification techniques such as state space analysis remain an open challenge for both because of state space explosion. The contribution of this paper is to propose an approach for property based reduction of the state space of Algebraic Petri nets (a variant of high-level Petri nets). To achieve the objective, we propose a slicing algorithm for Algebraic Petri nets (APNSlicing). The proposed algorithm can alleviate state space even for certain strongly connected nets. By construction, it is guaranteed that the state space of sliced net is at most as big as the original net. We exemplify our technique through the running case study of car crash management system.
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)
risoldi, matteo;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Optimizing algebraic petri net model checking by slicing
Publication date :
2013
Event name :
International Workshop on Modeling and Business Environments (ModBE’13)
Event date :
June 24, 2013
Audience :
International
Main work title :
International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013.
Pages :
20
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 21 December 2013

Statistics


Number of views
62 (7 by Unilu)
Number of downloads
42 (0 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
2

Bibliography


Similar publications



Contact ORBilu