Vol-3997⫷ Vol-3998 ⫸Vol-3999
urn:nbn:de:0074-3998-0


Vol-3998/poster4⫷Vol-3998/poster5
Erik Jonas HartnickMandy Weißbach

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