Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

Data-driven accountability in Australia : an unfolding story with lessons for leaders

Throughout the world, state and nation standardised testing of children, has become a "huge industry" (English, 2002). Although English is referring to the American system which has been involved in standardised testing for over half a century, the same could be said of many other countries, including Australia. It has been only in recent years that Australia has embraced national testing as part of a wider reform effort to bring about increased accountability in schooling. The results of high-stakes tests in Australia are now published in newspapers and electronically on the Australian federal government's MySchool website (www.myschoold.edu.au). MySchool provides results on the National Assessment Program - Literacy and Numeracy (NAPLAN) for students in Years 3,5, 7 and 9. Data are available that compare schools to statistically similar schools. This more recent publication of national testing results in Australia is a visible example of "contractual accountability", described by Mulford, Edmunds, Kendall, Kendall and Bishop (2008) as " the degree to which [actors] are fulfilling the expectations of particular audiences in terms of standards, outcomes and results" (p.20).

Backpackers and sustainable tourism : exploring the potential

There is conflicting evidence in the literature with respect to backpackers as contributors to sustainable travel. This paper explores this market with respect to sustainable travel attitudes, behaviours and preferences. More specifically it examined the motivations of backpacker visitors to Australia, their preferences for environmentally friendly and volunteer tourism experiences, and explored attitudes towards the influence of environmental impacts on the future of travel. The resultsindicate that not all backpackers necessarily have a strong focus on the sustainability of their travel, but that those interested in community and environmental volunteering have the greatest potential to make meaningful contributions.

Sustainability factors in Industrialised Building System

In Malaysia, Industrialised Building Systems (IBS) are being promoted as a potential to enhance sustainability by the building industry and government. Known elsewhere as prefabricated construction, IBS employs a combination of ready-made components in the construction of buildings that promote quality of production, enhance simplification of construction processes and minimise on-site work. The components are manufactured in a factory either on or off site. They are then positioned and assembled into building structures. The unique characteristic of IBS has the potential to respond well to the sustainability challenge facing the construction industry. Despite the promises however, IBS has yet to be effectively implemented in Malaysia. There are often misconceptions among key stakeholders about IBS applications and some of the rating schemes fail to assess IBS towards sustainability deliverables. A holistic approach to improving IBS implementation is necessary to consider sustainability perceptions on IBS among key stakeholders. As IBS design is one of the most important development phases to incorporate sustainability requirements and expectations, a framework of embedding sustainability factors into IBS design is being developed through research. This paper presents an improved IBS design process focused on sustainability, showing where and how sustainability should be assessed to improve IBS construction. The framework being developed can provide guidance and decision making assistance to not only design consultants but all relevant stakeholders by integrating sustainability concepts into IBS applications. Outcome of the research will also provide a benchmark for developing countries in adopting prefabricated construction systems.

Development of a sewerage infrastructure buffer assessment tool for local authorities

Urban expansion continues to encroach on existing or newly implemented sewerage infrastructure. In this context, legislation and guidelines, both national and international, provide limited direction to the amenity allocation of appropriate buffering distances for land use planners and infrastructure providers. A review of published literature suggests the dominant influences include topography, wind speed and direction, temperature, humidity, existing land uses and vegetation profiles. A statistical criteria review of these factors against six years of sewerage odour complaint data was undertaken to ascertain their influence and a complaint severity hierarchy was established. These hierarchical results suggested the main criteria were: topographical location, elevation relative to the odour source and wind speed. Establishing a justifiable criterion for buffer zone allocations will assist in analytically determining a basis for buffer separations and will assist planners and infrastructure designers in assessing lower impact sewerage infrastructure locations.

On the data consumption benefits of accepting increased uncertainty

In the context of learning paradigms of identification in the limit, we address the question: why is uncertainty sometimes desirable? We use mind change bounds on the output hypotheses as a measure of uncertainty and interpret ‘desirable’ as reduction in data memorization, also defined in terms of mind change bounds. The resulting model is closely related to iterative learning with bounded mind change complexity, but the dual use of mind change bounds — for hypotheses and for data — is a key distinctive feature of our approach. We show that situations exist where the more mind changes the learner is willing to accept, the less the amount of data it needs to remember in order to converge to the correct hypothesis. We also investigate relationships between our model and learning from good examples, set-driven, monotonic and strong-monotonic learners, as well as class-comprising versus class-preserving learnability.