=Paper=
{{Paper
|id=Vol-3998/poster5
|storemode=property
|title=Abstraction-Based Deadlock Analysis of Service-Oriented Systems with Recursive Petri Nets
|pdfUrl=https://ceur-ws.org/Vol-3998/poster5.pdf
|volume=Vol-3998
|authors=Erik Jonas Hartnick,Mandy Weißbach
}}
==Abstraction-Based Deadlock Analysis of Service-Oriented Systems with Recursive Petri Nets==
<pdf width="1500px">https://ceur-ws.org/Vol-3998/poster5.pdf</pdf>
<pre>
None
</pre>