Context: Petri net slicing is a technique to reduce the size of a Petri ...
This volume constitutes the pre-proceedings of the 26th International
Wo...
The main goal of this work is to show how SecEr can be used in different...
During the software lifecycle, a program can evolve several times for
di...