Volume: Vol-4236 PNWS 2026 | Year: 2026

Paper: « paper2 | paper3 | paper4 »

Declarative modelling and analysis of reversing Petri nets

• Yannis Dimopoulos
• Eleftheria Kouppari
• Anna Philippou

PDF