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.

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.