Maximal and Minimal Dynamic Petri Net Slicing

DOI10.3233/fi-222148arXiv2104.03425MaRDI QIDQ6094513

Josep Silva, Marisa Llorens, Javier Oliver, Salvador Tamarit

Publication date: 14 September 2023

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.03425

zbMATH Keywords

Petri netsprogram slicingPetri net slicing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Dynamic program slicing
• Parallel program schemata
• Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis
• A vocabulary of program slicing-based techniques
• Safety Slicing Petri Nets
• Program Slicing
• Free Choice Petri Nets
• Understanding Petri Nets
• Dynamic Slicing Techniques for Petri Nets
• Slicing Petri Nets with an Application to Workflow Verification

This page was built for publication: Maximal and Minimal Dynamic Petri Net Slicing