10 research outputs found

    Petri net and its application in deadlock detection

    No full text
    This article presents an integer linear-algebraic algorithm suitable to detect deadlocks of a safe and ordinary Petri net with (or without) inhibitor arcs. A systematic approach is developed for detecting deadlocks and the corresponding degree of firing sequences. The techniques have been applied to distributed execution and workflow-based enterprise areas

    Cardiac surgery in indigenous Australians - How wide is 'The Gap'?

    No full text
    Background Cardiovascular disease remains the leading cause of mortality in the Indigenous Australian population. Limited research exists in regards to cardiac surgery in the Aboriginal and Torres Strait Islander (ATSI) population. We aimed to investigate risk profiles, surgical pathologies, surgical management and short term outcomes in a contemporary group of patients
    corecore