Institutional Repository

Browsing Open Research Collection by Author "Kritzinger, Pieter S."

Browsing Open Research Collection by Author "Kritzinger, Pieter S."

Sort by: Order: Results:

  • The complexity of Petri Net transformations 
    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 ...
  • An Estelle compiler for a protocol development environment 
    Kritzinger, PS; van Dijk, J (South African Institute of Computer Scientists and Information Technologists, 1990)
    The development of communication protocol standards has been accompanied by the standardization of formal specification languages to describe these standards in a clear and unambiguous way. Simulta­neously, techniques for ...

Search UnisaIR


Browse

My Account