SLAPN : A Tool for Slicing Algebraic Petri Nets

Dicing soft solids with a sharp knife is quicker and smoother if the blade is sliding rapidly parallel to its edge in addition to the normal squeezing motion.. We explain this

The original version introduced by Mark Weiser in 1981 [ Wei81 ] is now called static backward slicing, where “static” means that the program slice must preserve the behavior of

Let us study the results summarized in the table.1, the first column shows different slicing algorithms under observation. For each algorithm, the table lists i) in which context

In this section, we evaluate our abstract slicing algorithm and compare with existing slicing construction for APNs (Note: We do not include concerned slicing algorithm in

Different slicing algorithms such as abstract slicing, concerned slicing, APN slicing, safety slicing, liveness slicing (shown in the meta model of SLAPN N , Fig3) can be used

Let us take a criterion place (i.e, System) from the car crash APN model and apply our proposed concerned slicing algorithm to find which transitions and places can contribute tokens

The fifth column reports how many places (related to the properties) in the model lead to no reduction using our slicing method. Finally, the structure of APN models under

In the fifth column total number of places is given, for the properties related to these places, our slicing does not reduce the number of states. Finally, the structure of APN