Volume: Vol-4236 PNWS 2026 | Year: 2026

Paper: « paper5 | paper6 | paper7 »

On Abstraction-Based Deadlock Analysis of Service-Oriented Systems Modeled with Recursive Petri Nets