Rebanando redes de Petri

El seccionamiento de redes de Petri (RP) es una técnica sintáctica que se utiliza para reducir un modelo de RP en función de un criterio dado. ^{[ 1 ] [ 2 ] [ 3 ]} De manera informal, un criterio de seccionamiento puede ser una propiedad para la cual se analiza un modelo de RP o un conjunto de lugares, transiciones o ambos. Una parte seccionada constituye solo aquella parte de un modelo de RP que puede afectar el criterio.

El término «slicing» fue acuñado por M. Weiser en el contexto de la depuración de programas . ^{[ 4 ]} Según Weiser, un segmento de programa es un programa ejecutable reducido que se puede obtener de un programa P en función de las variables de interés y el número de línea , eliminando instrucciones de tal manera que el segmentado del programa replique parte del comportamiento del programa. El término se adaptó posteriormente al contexto de las redes de Petri y a otras clases de redes de Petri, como las redes de Petri algebraicas . ^{[ 1 ] [ 2 ] [ 3 ] [ 5 ]}