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.

Factors affecting somatic embryogenesis and transformation in modern plant breeding

Somatic embryogenesis and transformation systems are indispensable modern plant breeding components since they provide an alternative platform to develop control strategies against the plethora of pests and diseases affecting many agronomic crops. This review discusses some of the factors affecting somatic embryogenesis and transformation, highlights the advantages and limitations of these systems and explores these systems as breeding tools for the development of crops with improved agronomic traits. The regeneration of non-chimeric transgenic crops through somatic embryogenesis with introduced disease and pest-resistant genes for instance, would be of significant benefit to growers worldwide.

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.

In vitro breeding strategies in the development of Australian native plants

Plant tissue culture is a technique that exploits the ability of many plant cells to revert to a meristematic state. Although originally developed for botanical research, plant tissue culture has now evolved into important commercial practices and has become a significant research tool in agriculture, horticulture and in many other areas of plant sciences. Plant tissue culture is the sterile culture of plant cells, tissues, or organs under aseptic conditions leading to cell multiplication or regeneration or organs and whole plants. The steps required to develop reliable systems for plant regeneration and their application in plant biotechnology are reviewed in countless books. Some of the major landmarks in the evolution of in vitro techniques are summarised in Table 5.1. In this chapter the current applications of this technology to agriculture, horticulture, forestry and plant breeding are briefly described with specific examples from Australian plants when applicable.

Identifying engaging features of schooling : assessing the psychometric soundness of student generated research

In this article we report on data analysed from a student project about attitudes to school and student perception of engagement and disengagement. The data were collected by students in an Australian study that employed the Young People as Researchers Model. Middle years students devised and administered a questionnaire to students in grade eight, nine and ten at a secondary school in Australia. A total of 239 students completed the questionnaire. The students completed the initial analysis which was followed by a more detailed analysis by the authors of this paper. The findings support the work of American, British and Australian researchers about the factors that influence engagement and disengagement from schooling. The reported outcomes from the student work and the secondary analysis indicate that students do have the capacity to undertake valid and meaningful research and can make informed contributions to school improvement and student engagement.

A note on inbreeding in dairy cattle breeding

Starting from the study at the beginning of the East German "Heterosisfeldversuch", where PANICKE et al. (1975) considered the possibilities of a targeted use of inbreeding and heterotic effects, we show and discuss results of inbreeding studies in the USA dairy cattle breeding. Several research groups worldwide presented effective tools for managing inbreeding in dairy cattle. Their efforts underline the need of inbreeding studies. Contemplating inbreeding is necessary for any breeding decision to avoid inbreeding depression and for improved genetic analyses, e.g. in QTL- estimation. A novel methodology (HERNANDEZ-SANCHEZ et al., 2004a and b) is suggested for estimating inbreeding at the three levels of population, individual and locus.

Wheat breeding nurseries, target environments, and indirect selection for grain yield

Use of appropriate nursery environments will maximize gain from selection for yield of wheat (Triticum aestivum L.) in the target population of environments of a breeding program. The objective of this study was to investigate how well-irrigated (low-stress) nursery environments predict yield of lines in target environments that varied in degree of water limitation. Fifteen lines were sampled from the preliminary yield evaluation stage of the Queensland wheat breeding program and tested in 26 trials under on-farm conditions (Target Environments) across nine years (1985 to 1993) and also in 27 trials conducted at three research stations (Nursery Environments) in three years (1987 to 1989). The nursery environments were structured to impose different levels of water and nitrogen (N) limitation, whereas the target environments represented a random sample of on-farm conditions from the target population of environments. Indirect selection and pattern analysis methods were used to investigate selection for yield in the nursery environments and gain from selection in the target environments. Yield under low-stress nursery conditions was an effective predictor of yield under similar low-stress target environments (r = 0.89, P < 0.01). However, the value of the low-stress nursery as a predictor of yield in the water-limited target environments decreased with increasing water stress (moderate stress r = 0.53, P < 0.05, to r = 0.38, P > 0.05; severe stress r = -0.08, P > 0.05). Yield in the stress nurseries was a poor predictor of yield in the target environments. Until there is a clear understanding of the physiological-genetic basis of variation for adaptation of wheat to the water-limited environments in Queensland, yield improvement can best be achieved by selection for a combination of yield potential in an irrigated low-stress nursery and yield in on-farm trials that sample the range of water-limited environments of the target population of environments.

Is lek breeding rare in bats?

Bats (Mammalia: Chiroptera) are among the most successful mammals and likely display the widest range of mating systems within the Class. One mating system that is underrepresented in the Chiroptera is lek breeding, which is characterized by aggregations of sexually displaying males that are visited by receptive females who appraise male displays and actively choose mates, yet receive no direct benefits such as assistance in parenting. Leks are thought to form when males can defend neither resources nor females, making it more economical to establish small breeding territories and self-advertise through sexual displays. Lekking is rare in mammals, and it has been suggested that a lack in the mobility required by females to economically seek out aggregations of sexually displaying males may explain this rarity. Bats, like birds, do not suffer reduced mobility and yet out of over a thousand described species, only one has been confirmed to breed in leks. We examine the rarity of lekking in bats by providing an overview on the current state of knowledge of their mating systems and discuss the ecological and social determinants for the observed trends, contrasted with the prerequisites of lek-breeding behaviour. We use the breeding behaviour of New Zealand's lesser short-tailed bat Mystacina tuberculata, which is believed to be a lek breeder, as a case study for the examination of potential lekking behaviour in bats, and highlight the importance of such research for the development of effective conservation strategies.

Females as mobile resources: communal roosts promote the adoption of lek breeding in a temperate bat

Males of lek-breeding species defend clustered territories from which they display to visiting females. However, the mechanisms leading to the adoption of clustered male display sites are often unknown. In this study, we examined the possibility of a resource-based lek in New Zealand’s lesser short-tailed bat (Mystacina tuberculata) (Mammalia: Chiroptera), by assessing the placement of “singing roosts” used by males in relation to communal roosting sites used by females. The “resource-based lek” model posits that males settle near resources required by females to increase female encounter rates. For most bat species, where females are highly mobile and widely dispersed across landscapes while foraging, communal daytime roosts dominated by females may represent such a resource. Through use of video footage, spatial analyses of singing-roost locations, and passive-integrated transponder tags we confirmed that M. tuberculata employs a lek mating system. We found that male singing roosts were significantly clustered in space, were defended by resident individuals, and were visited by females (who did not receive resources from males) for mating purposes. Transponder records also indicated that some singing roosts were shared between multiple males. Spatial logistic regression indicated that singing-roost locations were associated with communal roosting sites. Communal roosts are selected based on criteria independent of the locations of singing roosts, suggesting that males responded to the location of communal roosts and not the reverse. Mystacina tuberculata thus provides evidence of a resource-based lek, and is only the second bat species worldwide confirmed to use a lek-mating system.

A Novel Range Test

In a range test, one party holds a ciphertext and needs to test whether the message encrypted in the ciphertext is within a certain interval range. In this paper, a range test protocol is proposed, where the party holding the ciphertext asks another party holding the private key of the encryption algorithm to help him. These two parties run the protocol to implement the test. The test returns TRUE if and only if the encrypted message is within the certain interval range. If the two parties do not conspire, no information about the encrypted message is revealed from the test except what can be deduced from the test result. Advantages of the new protocol over the existing related techniques are that it achieves correctness, soundness, °exibility, high e±ciency and privacy simultaneously.

The effects of habitat fragmentation on the demography and population genetic structure of Uromys Caudimaculatus

Habitat fragmentation can have an impact on a wide variety of biological processes including abundance, life history strategies, mating system, inbreeding and genetic diversity levels of individual species. Although fragmented populations have received much attention, ecological and genetic responses of species to fragmentation have still not been fully resolved. The current study investigated the ecological factors that may influence the demographic and genetic structure of the giant white-tailed rat (Uromys caudimaculatus) within fragmented tropical rainforests. It is the first study to examine relationships between food resources, vegetation attributes and Uromys demography in a quantitative manner. Giant white-tailed rat densities were strongly correlated with specific suites of food resources rather than forest structure or other factors linked to fragmentation (i.e. fragment size). Several demographic parameters including the density of resident adults and juvenile recruitment showed similar patterns. Although data were limited, high quality food resources appear to initiate breeding in female Uromys. Where data were sufficient, influx of juveniles was significantly related to the density of high quality food resources that had fallen in the previous three months. Thus, availability of high quality food resources appear to be more important than either vegetation structure or fragment size in influencing giant white-tailed rat demography. These results support the suggestion that a species’ response to fragmentation can be related to their specific habitat requirements and can vary in response to local ecological conditions. In contrast to demographic data, genetic data revealed a significant negative effect of habitat fragmentation on genetic diversity and effective population size in U. caudimaculatus. All three fragments showed lower levels of allelic richness, number of private alleles and expected heterozygosity compared with the unfragmented continuous rainforest site. Populations at all sites were significantly differentiated, suggesting restricted among population gene flow. The combined effects of reduced genetic diversity, lower effective population size and restricted gene flow suggest that long-term viability of small fragmented populations may be at risk, unless effective management is employed in the future. A diverse range of genetic reproductive behaviours and sex-biased dispersal patterns were evident within U. caudimaculatus populations. Genetic paternity analyses revealed that the major mating system in U. caudimaculatus appeared to be polygyny at sites P1, P3 and C1. Evidence of genetic monogamy, however, was also found in the three fragmented sites, and was the dominant mating system in the remaining low density, small fragment (P2). High variability in reproductive skew and reproductive success was also found but was less pronounced when only resident Uromys were considered. Male body condition predicted which males sired offspring, however, neither body condition nor heterozygosity levels were accurate predictors of the number of offspring assigned to individual males or females. Genetic spatial autocorrelation analyses provided evidence for increased philopatry among females at site P1, but increased philopatry among males at site P3. This suggests that male-biased dispersal occurs at site P1 and female-biased dispersal at site P3, implying that in addition to mating systems, Uromys may also be able to adjust their dispersal behaviour to suit local ecological conditions. This study highlights the importance of examining the mechanisms that underlie population-level responses to habitat fragmentation using a combined ecological and genetic approach. The ecological data suggested that habitat quality (i.e. high quality food resources) rather than habitat quantity (i.e. fragment size) was relatively more important in influencing giant white-tailed rat demographics, at least for the populations studied here . Conversely, genetic data showed strong evidence that Uromys populations were affected adversely by habitat fragmentation and that management of isolated populations may be required for long-term viability of populations within isolated rainforest fragments.

The manipulation of apoptosis-related genes to generate resistance to Fusarium wilt and water stress in banana

Bananas are susceptible to a diverse range of biotic and abiotic stresses, many of which cause serious production constraints worldwide. One of the most destructive banana diseases is Fusarium wilt caused by the soil-borne fungus, Fusarium oxysporum f. sp. cubense (Foc). No effective control strategy currently exists for this disease which threatens global banana production. Although disease resistance exists in some wild bananas, attempts to introduce resistance into commercially acceptable bananas by conventional breeding have been hampered by low fertility, long generation times and association of poor agronomical traits with resistance genes. With the advent of reliable banana transformation protocols, molecular breeding is now regarded as a viable alternative strategy to generate disease-resistant banana plants. Recently, a novel strategy involving the expression of anti-apoptosis genes in plants was shown to result in resistance against several necrotrophic fungi. Further, the transgenic plants showed increased resistance to a range of abiotic stresses. In this thesis, the use of anti-apoptosis genes to generate transgenic banana plants with resistance to Fusarium wilt was investigated. Since water stress is an important abiotic constraint to banana production, the resistance of the transgenic plants to water stress was also examined. Embryogenic cell suspensions (ECS) of two commercially important banana cultivars, Grand Naine (GN) and Lady Finger (LF), were transformed using Agrobacterium with the anti-apoptosis genes, Bcl-xL, Bcl-xL G138A, Ced-9 and Bcl- 2 3’ UTR. An interesting, and potentially important, outcome was that the use of anti-apoptosis genes resulted in up to a 50-fold increase in Agrobacterium-mediated transformation efficiency of both LF and GN cells over vector controls. Regenerated plants were subjected to a complete molecular characterisation in order to detect the presence of the transgene (PCR), transcript (RT-PCR) and gene product (Western blot) and to determine the gene copy number (Southern blot). A total of 36 independently-transformed GN lines (8 x Bcl-xL, 5 x Bcl-xL G138A, 15 x Ced-9 and 8 x Bcl-2 3’ UTR) and 41 independently-transformed LF lines (8 x Bcl-xL, 7 x BclxL G138A, 13 x Ced-9 and 13 x Bcl-2 3’ UTR) were identified. The 41 transgenic LF lines were multiplied and clones from each line were acclimatised and grown under glasshouse conditions for 8 weeks to allow monitoring for phenotypic abnormalities. Plants derived from 3 x Bcl-xL, 2 x Ced-9 and 5 x Bcl-2 3’ UTR lines displayed a variety of aberrant phenotypes. However, all but one of these abnormalities were off-types commonly observed in tissue-cultured, non-transgenic banana plants and were therefore unlikely to be transgene-related. Prior to determining the resistance of the transgenic plants to Foc race 1, the apoptotic effects of the fungus on both wild-type and Bcl-2 3’ UTR-transgenic LF banana cells were investigated using rapid in vitro root assays. The results from these assays showed that apoptotic-like cell death was elicited in wild-type banana root cells as early as 6 hours post-exposure to fungal spores. In contrast, these effects were attenuated in the root cells of Bcl-2 3’ UTR-transgenic lines that were exposed to fungal spores. Thirty eight of the 41 transgenic LF lines were subsequently assessed for resistance to Foc race 1 in small-plant glasshouse bioassays. To overcome inconsistencies in rating the internal (vascular discolouration) disease symptoms, a MatLab-based computer program was developed to accurately and reliably assess the level of vascular discolouration in banana corms. Of the transgenic LF banana lines challenged with Foc race 1, 2 x Bcl-xL, 3 x Ced-9, 2 x Bcl-2 3’ UTR and 1 x Bcl-xL G138A-transgenic line were found to show significantly less external and internal symptoms than wild-type LF banana plants used as susceptible controls at 12 weeks post-inoculation. Of these lines, Bcl-2 3’ UTR-transgenic line #6 appeared most resistant, displaying very mild symptoms similar to the wild-type Cavendish banana plants that were included as resistant controls. This line remained resistant for up to 23 weeks post-inoculation. Since anti-apoptosis genes have been shown to confer resistance to various abiotic stresses in other crops, the ability of these genes to confer resistance against water stress in banana was also investigated. Clonal plants derived from each of the 38 transgenic LF banana plants were subjected to water stress for a total of 32 days. Several different lines of transgenic plants transformed with either Bcl-xL, Bcl-xL G138A, Ced-9 or Bcl-2 3’ UTR showed a delay in visual water stress symptoms compared with the wild-type control plants. These plants all began producing new growth from the pseudostem following daily rewatering for one month. In an attempt to determine whether the protective effect of anti-apoptosis genes in transgenic banana plants was linked with reactive oxygen species (ROS)-associated programmed cell death (PCD), the effect of the chloroplast-targeting, ROS-inducing herbicide, Paraquat, on wild-type and transgenic LF was investigated. When leaf discs from wild-type LF banana plants were exposed to 10 ìM Paraquat, complete decolourisation occurred after 48 hours which was confirmed to be associated with cell death and ROS production by trypan blue and 3,3-diaminobenzidine (DAB) staining, respectively. When leaf discs from the transgenic lines were exposed to Paraquat, those derived from some lines showed a delay in decolourisation, suggesting only a weak protective effect from the transgenes. Finally, the protective effect of anti-apoptosis genes against juglone, a ROS-inducing phytotoxin produced by the causal agent of black Sigatoka, Mycosphaerella fijiensis, was investigated. When leaf discs from wild-type LF banana plants were exposed to 25 ppm juglone, complete decolourisation occurred after 48 hours which was again confirmed to be associated with cell death and ROS production by trypan blue and DAB staining, respectively. Further, TdT-mediated dUTP nick-end labelling (TUNEL) assays on these discs suggested that the cell death was apoptotic. When leaf discs from the transgenic lines were exposed to juglone, discs from some lines showed a clear delay in decolourisation, suggesting a protective effect. Whether these plants are resistant to black Sigatoka is unknown and will require future glasshouse and field trials. The work presented in this thesis provides the first report of the use of anti-apoptosis genes as a strategy to confer resistance to Fusarium wilt and water stress in a nongraminaceous monocot, banana. Such a strategy may be exploited to generate resistance to necrotrophic pathogens and abiotic stresses in other economically important crop plants.

Improving taro (Colocasia esculenta var. esculenta) production using biotechnological approaches

Taro (Colocasia esculenta L. Schott) is an important crop worldwide but is of particular significance in many Pacific Island countries where it forms part of the staple diet and serves as an export commodity. Escalating pest and disease problems are jeopardizing taro production with serious implications to food security and trade. Biotechnological approaches to addressing pest and disease problems, such as somatic embryogenesis and transgenesis, are potentially viable options. However, despite biotechnological advancements in higher profile agronomic crops, such progress in relation to Colocasia esculenta var. esculenta has been slow. This paper reviews taro biology, highlights the cultural and economic significance of taro in Pacific Island countries and discusses the progress made towards the molecular breeding of this important crop to date.