Soundness of workflow nets with reset arcs

Petri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and analyze workflows and variants of the classical soundness property are used as a correctness notion. Since many workflow languages have cancelation features, a mapping to workflow nets is not always possible. Therefore, it is interesting to consider workflow nets with reset arcs. Unfortunately, soundness is undecidable for workflow nets with reset arcs. In this paper, we provide a proof and insights into the theoretical limits of workflow verification.

Evangeline Series : An interpretation of Classic Gothic Lolita

This series comprises three artefacts described below: Evangeline: Classic Gothic Lolita [3 piece garment]. Evangeline 2: Classic Gothic Lolita Pullip Doll Costume [2 piece garment]. Evangeline 3: Classic Gothic Lolita Mini Pullip Doll Costume [3 piece garment]. The series was part of an exhibition curated by Kathryn Hardy Bernal entitled: "Loli-Pop: A downtown Auckland view on Japanese street fashion". The exhibition explored the connections between gothic lolita fashion and popular culture. This work reflects on the aspect of collections in respect of the work of Hardy Bernal in relation to the connection between the japanese classic gothic lolita and the doll culture surrounding the movement. The pieces are interconnected and intended to communicate these aspects through a doll like dress worn by a model (Evangeline 1], carrying a doll wearing the same dress [Evangeline 2], carrying a smaller doll again wearing the same dress [Evangeline 3]. The artefacts appeared appeared as a central piece in the exhibition which was held at the War Memorial Museum in Auckland, New Zealand (15 September - 25 November 2007).

The development of fast bowling experts in Australian cricket

In this paper, we highlight key concepts from dynamical systems theory and complexity sciences to exemplify constraints on talent development in a sample of elite cricketers. Eleven international fast bowlers who cumulatively had taken more than 2,400 test wickets in over 600 international test matches were interviewed using an in-depth, open-ended, and semi-structured approach. Qualitative data were analysed to identify key components in fast bowling expertise development. Results revealed that, contrary to traditional perspectives, the athletes progressed through unique, nonlinear trajectories of development, which appears to be a commonality in the experts' developmental pathways. During development, individual experts encountered unique constraints on the acquisition of expertise in cricket fast bowling, resulting in unique performance adaptations. Specifically, data illustrated experts' ability to continually adapt behaviours under multifaceted ecological constraints.

Assurance of learning : the role of work integrated learning and industry partners

In the partnering with students and industry it is important for universities to recognize and value the nature of knowledge and learning that emanates from work integrated learning experiences is different to formal university based learning. Learning is not a by-product of work rather learning is fundamental to engaging in work practice. Work integrated learning experiences provide unique opportunities for students to integrate theory and practice through the solving of real world problems. This paper reports findings to date of a project that sought to identify key issues and practices faced by academics, industry partners and students engaged in the provision and experience of work integrated learning within an undergraduate creative industries program at a major metropolitan university. In this paper, those findings are focused on some of the particular qualities and issues related to the assessment of learning at and through the work integrated experience. The findings suggest that the assessment strategies needed to better value the knowledges and practices of the Creative Industries. The paper also makes recommendations about how industry partners might best contribute to the assessment of students’ developing capabilities and to continuous reflection on courses and the assurance of learning agenda.

Cognitive load and mental rotation : structuring orthographic projection for learning and problem solving

Cognitive load theory was used to generate a series of three experiments to investigate the effects of various worked example formats on learning orthographic projection. Experiments 1 and 2 investigated the benefits of presenting problems, conventional worked examples incorporating the final 2-D and 3-D representations only, and modified worked examples with several intermediate stages of rotation between the 2-D and 3-D representations. Modified worked examples proved superior to conventional worked examples without intermediate stages while conventional worked examples were, in turn, superior to problems. Experiment 3 investigated the consequences of varying the number and location of intermediate stages in the rotation trajectory and found three stages to be superior to one. A single intermediate stage was superior when nearer the 2-D than the 3-D end of the trajectory. It was concluded that (a) orthographic projection is learned best using worked examples with several intermediate stages and that (b) a linear relation between angle of rotation and problem difficulty did not hold for orthographic projection material. Cognitive load theory could be used to suggest the ideal location of the intermediate stages.

Performing the unutterable : mapping the experiential in contemporary dance

This research project looks to engage audiences in a variety of experiential ways by reexamining and manipulating the traditional presentation paradigm for viewing Western contemporary dance. It considers how the audience may be situated in the creation and presentation of contemporary dance generally, and specifically in the work The Voyeur, which researched these issues in action. By situating the body of the audience member as a site of understanding and meaning making, this practice-based research considers the audience within the artists’ creative process from the inception of a creative work, rather than after the work has been created. The research questions how a ‘lived experience’ of contemporary dance could be deepened for the audience. It presents a series of ‘tools’ to create alternative frameworks of presentation that challenge the dominant modes of creation, presentation and meaning making in contemporary dance. The five tools established and applied in this research are: site, liminality, agency, proximity and performer authenticity. These tools are framed as a series of calibrated scales that allow choreographers to map decisions made in the studio in relation to potential audience engagement. These scales have the ability to house multiple presentation formats from the traditional to the avant garde and open up possibilities for broad analysis of a wide range of artistic dance works.

Soundness of workflow nets: classification, decidability, and analysis

Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets.We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.

How do our 'quicks' generate pace? A cross sectional analysis of the Cricket Australia pace pathway

Technique and physical contributions to ball delivery speed in fast bowling have been popular research topics in sports science. However, a common limiting factor of this work is the level of expertise of participants and lack of within bowler investigations (Salter et al., 2007). The relationship between technique, anthropometry and ball speed has not been comprehensively investigated among elite fast bowlers. The purpose of this study was to examine the relationship between technique, anthropometric variables and ball speed using both within- and betweenbowler analyses in a cross section of the Cricket Australia high performance pace pathway.

What the experts think : fast bowling expertise acquisition and talent development

For applied sport scientists charged with developing talented performers an essential requirement is to identify components contributing to the development and maintenance of expertise. Previous qualitative analysis has revealed several psychological (e.g., mental focus, goal-setting and selfevaluation), socio-cultural (e.g. community and family support, cultural influence), physical (e.g., strength, height) and environmental (e.g., access to facilities and climate) constraints on successful Olympian development (Abbott et al., 2005). Open-ended interviews with expert athletes and/or expert coaches have been used to reveal competencies of elite performers to derive factors associated with success (Durand-Bush et al., 2002). However, the influence of these factors is likely to be sport-specific due to different task constraints and the changing nature of the performer-environment relationship through practice, coaching and competing (Vaeyens et al., 2008). So far, only one study on expertise acquisition in cricket has been undertaken. Weissensteiner, et al. (2009) found that development of expertise in cricket batting in Australia may be facilitated by early unstructured play (i.e. ‘backyard cricket’), a wide range of sport experience during development, and early exposure to playing with seniors.

Quantifying variability within technique and performance in elite fast bowlers : is technical variability dysfunctional or functional?

In fast bowling, cricketers are expected to produce a range of delivery lines and lengths while maximising ball speed. From a coaching perspective, technique consistency has been typically associated with superior performance in these areas. However, although bowlers are required to bowl consistently, at the elite level they must also be able to vary line, length and speed to adapt to opposition batters’ strengths and weaknesses. The relationship between technique and performance variability (and consistency) has not been investigated in previous fast bowling research. Consequently, the aim of this study was to quantify both technique (bowling action and coordination) and performance variability in elite fast bowlers from Australian Junior and National Pace Squads. Technique variability was analysed to investigate whether it could be classified as functional or dysfunctional in relation to speed and accuracy.

DNA technology for the detection of common genetic variants that predispose to thrombophilia

With the identification of common single locus point mutations as risk factors for thrombophilia, many DNA testing methodologies have been described for detecting these variations. Traditionally, functional or immunological testing methods have been used to investigate quantitative anticoagulant deficiencies. However, with the emergence of the genetic variations, factor V Leiden, prothrombin 20210 and, to a lesser extent, the methylene tetrahydrofolate reductase (MTHFR677) and factor V HR2 haplotype, traditional testing methodologies have proved to be less useful and instead DNA technology is more commonly employed in diagnostics. This review considers many of the DNA techniques that have proved to be useful in the detection of common genetic variants that predispose to thrombophilia. Techniques involving gel analysis are used to detect the presence or absence of restriction sites, electrophoretic mobility shifts, as in single strand conformation polymorphism or denaturing gradient gel electrophoresis, and product formation in allele-specific amplification. Such techniques may be sensitive, but are unwielding and often need to be validated objectively. In order to overcome some of the limitations of gel analysis, especially when dealing with larger sample numbers, many alternative detection formats, such as closed tube systems, microplates and microarrays (minisequencing, real-time polymerase chain reaction, and oligonucleotide ligation assays) have been developed. In addition, many of the emerging technologies take advantage of colourimetric or fluorescence detection (including energy transfer) that allows qualitative and quantitative interpretation of results. With the large variety of DNA technologies available, the choice of methodology will depend on several factors including cost and the need for speed, simplicity and robustness. © 2000 Lippincott Williams & Wilkins.