Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets

TitleSome results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets
Publication TypeConference Paper
Year of Publication2003
AuthorsTricas, F, Ezpeleta J
Date Published9
Export