Vol-4235⫷ Vol-4236 ⫸Vol-4237
urn:nbn:de:0074-4236-0


Vol-4236/paper5⫷Vol-4236/paper6⫸Vol-4236/paper7
Erik Jonas HartnickMandy WeißbachThomas Kühn

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