Institutional Repository

Browsing South African Computer Journal 1996(18) by Subject "Boundedness"

Browsing South African Computer Journal 1996(18) by Subject "Boundedness"

Sort by: Order: Results:

  • Donaldson, SR; Bause, F; Kritzinger, Pieter S. (South African Computer Society (SAICSIT), 1996)
    We consider the complexity of several property preserving Petri net transformations found in the literature. These transfor­mations were candidates for.inclusion in a software tool to peiform liveness and boundedness ...

Search UnisaIR


Browse

My Account