Cargando…

Encoding Reversing Petri Nets in Answer Set Programming

Reversing Petri nets (RPNs) have been proposed as a reversible approach to Petri nets, which allows the transitions of a net to be reversed. This work presents an approach towards an implementation of RPNs to support their simulation and analysis. Specifically, we define how to model RPNs in Answer...

Descripción completa

Detalles Bibliográficos
Autores principales: Dimopoulos, Yannis, Kouppari, Eleftheria, Philippou, Anna, Psara, Kyriaki
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7342048/
http://dx.doi.org/10.1007/978-3-030-52482-1_17