title: Verification of the observer property in discrete event systems

authors: Pena, Patricia N.

subjects: discrete event systems

abstract: The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments.

text: Verification of the observer property in discrete event systems The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments.

year: 2014

title: New Zealand culture of intoxication: Local and global influences

authors: McEwan, Brett James

subjects: New Zealand

abstract: This article shows that attitudes towards and behaviours involving the consumption of alcohol in New Zealand have long been problematic. It provides an historical account of social, economic and legislative factors which have influenced the development of the New Zealand drinking culture. Accordingly, it tracks a combination of local and global alcohol-related influences and documents the interrelationships amongst these factors. In particular, it proposes that the liberalisation of alcohol licensing laws and advertising/sponsorship regulations, alongside the growth of the alcohol-based hospitality industry have promoted the normalisation of an alcohol-based leisure lifestyle. Against this backdrop, the growth of consumer culture , tertiary student culture and the New Zealand drug culture, along with the development of new alcohol products and the establishment of commercial and social-networking websites have conjointly enabled the growth of a culture of intoxication, which is characterised by drinkers intentionally drinking to intoxication and viewing this behaviour as socially acceptable.

text: New Zealand culture of intoxication: Local and global influences This article shows that attitudes towards and behaviours involving the consumption of alcohol in New Zealand have long been problematic. It provides an historical account of social, economic and legislative factors which have influenced the development of the New Zealand drinking culture. Accordingly, it tracks a combination of local and global alcohol-related influences and documents the interrelationships amongst these factors. In particular, it proposes that the liberalisation of alcohol licensing laws and advertising/sponsorship regulations, alongside the growth of the alcohol-based hospitality industry have promoted the normalisation of an alcohol-based leisure lifestyle. Against this backdrop, the growth of consumer culture , tertiary student culture and the New Zealand drug culture, along with the development of new alcohol products and the establishment of commercial and social-networking websites have conjointly enabled the growth of a culture of intoxication, which is characterised by drinkers intentionally drinking to intoxication and viewing this behaviour as socially acceptable.

year: 2010

title: Te Rau Matatini: Māori mental health workforce
development

authors: Hirini, Paul

subjects: Maori

abstract: Outlines the development and current projects of Te Rau Matatini, a charitable trust aiming to strengthen the Maori mental health workforce.

text: Te Rau Matatini: Māori mental health workforce
development Outlines the development and current projects of Te Rau Matatini, a charitable trust aiming to strengthen the Maori mental health workforce.

year: 2003