Abstract. Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex.

Algebraic Petri nets (APNs) is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the ...

This work is oriented to define Algebraic Petri nets slicing and implement it in a verification tool to improve the analysis of systems modelled in ...

SLAPN: A Tool for Slicing Algebraic Petri Nets ; PNSE'14 International Workshop on Petri Nets and Software Engineering Tunis, Tunisia, June 23-24, 2014.

SLAPn: A Tool for slicing Algebraic Petri nets. KHAN, Yasir Imtiaz; GUELFI, Nicolas. 2014 • International Workshop on Petri Nets and Software Engineering ...

Slapn: A tool for slicing algebraic petri nets. International Workshop on Petri Nets and Software Engineering (PNSE'14) associated with Petri Nets'14), 2(3): ...

As a future work, we are targeting to define more refined slicing construc- tions in the context of APNs and to implement a tool named SLAPn (i.e., slicing.

May 15, 2023 · In. [34, 32], Khan shows SLAPn, a tool for slicing Petri nets and Algebraic Petri nets (APN). The SLAPn tool is an Eclipse plugin. This tool ...

A tool named SLAPN ( a tool for slicing Algebraic Petri nets) is under development [18]. It is important to note that the SLAPN tool is a generic tool over.

... tool i.e., SLAPn. The objective of this tool is to implement proposed slicing algorithms and to show the practical usability of slicing technique. An ...