Browsing Dept. of Computer Science by Author "Donaldson, Stephen Richard"

Now showing items 1-1 of 1

  • The complexity of Petri net transformations 

    Donaldson, Stephen Richard (University of Cape TownFaculty of ScienceDepartment of Computer Science, 1993)
    This study investigates the complexity of various reduction and synthesis Petri net transformations. Transformations that preserve liveness and boundedness are considered. Liveness and boundedness are possibly the two most ...