Institutional Repository

Browsing SAICSIT Digital Archive by Author "Kritzinger, Pieter S."

Browsing SAICSIT Digital Archive 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 ...
  • Local area networks in perspective 
    Kritzinger, Pieter S. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    Current scientific and trade literature are flooded with information about local area networks. Details about physical media and their properties, versions of media access methods confusingly called protocols, variations ...
  • PEW: A tool for the automated performance analysis of protocols 
    Wheeler, G; Kritzinger, Pieter S. (South African Computer Society (SAICSIT), 1992)
    The Protocol Engineering Workbench (PEW) is an integrated software system or tool for the analysis of communication protocols specified using the Estelle Formal Description Technique or FDT. The execution of systems specified ...
  • Protocol Performance Using Image Protocols 
    Kritzinger, Pieter S. (Computer Society of South Africa (on behalf of SAICSIT), 1988)
    Performance analyses of data communication systems do not always rely on a detailed analysis of the underlying protocols. Those analyses which do, usually rely on an analysis of the protocol state transition graph. These ...

Search UnisaIR


Browse

My Account