| Reference : Optimizing algebraic petri net model checking by slicing |
| Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
| Engineering, computing & technology : Computer science | |||
| http://hdl.handle.net/10993/13607 | |||
| Optimizing algebraic petri net model checking by slicing | |
| English | |
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) >] | |
| 2013 | |
| International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013. | |
| 20 | |
| Yes | |
| International | |
| International Workshop on Modeling and Business Environments (ModBE’13) | |
| June 24, 2013 | |
| [en] High-level Petri nets ; Model checking ; Slicing | |
| [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. | |
| Researchers ; Professionals ; Students | |
| http://hdl.handle.net/10993/13607 |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
