10 research outputs found
Petri net and its application in deadlock detection
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'?
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