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.

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.

Identifying constraints on children with movement difficulties : implications for pedagogues and clinicians

A constraints- based framework for understanding processes of movement coordination and control is predicated on a range of theoretical ideas including the work of Bernstein (1967), Gibson (1979), Newell (1986) and Kugler, Kelso & Turvey (1982). Contrary to a normative perspective that focuses on the production of idealized movement patterns to be acquired by children during development and learning (see Alain & Brisson, 1986), this approach formulates the emergence of movement co- ordination as a function of the constraints imposed upon each individual. In this framework, cognitive, perceptual and movement difficulties and disorders are considered to be constraints on the perceptual- motor system, and children’s movements are viewed as emergent functional adaptations to these constraints (Davids et al., 2008; Rosengren, Savelsbergh & van der Kamp, 2003). From this perspective, variability of movement behaviour is not viewed as noise or error to be eradicated during development, but rather, as essentially functional in facilitating the child to satisfy the unique constraints which impinge on his/her developing perceptual- motor and cognitive systems in everyday life (Davids et al., 2008). Recently, it has been reported that functional neurobiological variability is predicated on system degeneracy, an inherent feature of neurobiological systems which facilitates the achievement of task performance goals in a variety of different ways (Glazier & Davids, 2009). Degeneracy refers to the capacity of structurally different components of complex movement systems to achieve different performance outcomes in varying contexts (Tononi et al., 1999; Edelman & Gally, 2001). System degeneracy allows individuals with and without movement disorders to achieve their movement goals by harnessing movement variability during performance. Based on this idea, perceptual- motor disorders can be simply viewed as unique structural and functional system constraints which individuals have to satisfy in interactions with their environments. The aim of this chapter is to elucidate how the interaction of structural and functional organismic, and environmental constraints can be harnessed in a nonlinear pedagogy by individuals with movement disorders.

Deceit and Bruno Taut's Glashaus

The historical context surrounding Bruno Taut's Glashaus has been established through work of authors like Reyner Banham, Dennis Sharp and Ian Boyd-Whyte. However, these English language translations, are mostly derived from secondary sources such as Adolf Behne and Paul Scheerbart. Surprisingly, Taut's own writings largely do not feature in this prevailing account of his work. Since 1990, strong doubts have arisen about this conventional picture of Taut's Glashaus. Manfred spiedel, for instance, minimizes Paul Scheerbart's contribution to the design by arguing that Scheerbart met Taut only a few months before the construction of the Glashaus, that is, after Taut had finished his preliminary sketches. Kurt Junghanns goes further and asserts that the Glashaus design was complete beefore Taut and Scheerbart ever met. In 2005, Kai Gutschow published The Culture of Criticism: Adolf Behne and the Development of Modern Architecture in Germany, 1910 - 1914. Most startling, Gutschow asserts that Behne acts as the propagandist for the Glashaus by fabricating its link with Expressionism. This is particularly troubling because nobody contributed more to establishing the link between the Glashaus, Bruno Taut and Expressionism than Behne. As a result of this new evidence, this paper concurs that the established historical understanding of the Glashaus is flawed. By returning to Taut's own writings, a reinterpretation can be offered that strongly links the Glashaus to the Victoria regia lily and Strasbourg Cathedral. The significance of this approach is that it re-establishes Taut's own rational behind the design of the Glashaus, and thus contributes to the re-evaluation of the generally accepted histories of the Modern movement.

An examination of monotony and hypovigilance, independent of fatigue : relevance to road safety

Driving is a vigilance task, requiring sustained attention to maintain performance and avoid crashes. Hypovigilance (i.e., marked reduction in vigilance) while driving manifests as poor driving performance and is commonly attributed to fatigue (Dinges, 1995). However, poor driving performance has been found to be more frequent when driving in monotonous road environments, suggesting that monotony plays a role in generating hypovigilance (Thiffault & Bergeron, 2003b). Research to date has tended to conceptualise monotony as a uni-dimensional task characteristic, typically used over a prolonged period of time to facilitate other factors under investigation, most notably fatigue. However, more often than not, more than one exogenous factor relating to the task or operating environment is manipulated to vary or generate monotony (Mascord & Heath, 1992). Here we aimed to explore whether monotony is a multi-dimensional construct that is determined by characteristics of both the task proper and the task environment. The general assumption that monotony is a task characteristic used solely to elicit hypovigilance or poor performance related to fatigue appears to have led to there being little rigorous investigation into the exact nature of the relationship. While the two concepts are undoubtedly linked, the independent effect of monotony on hypovigilance remains largely ignored. Notwithstanding, there is evidence that monotony effects can emerge very early in vigilance tasks and are not necessarily accompanied by fatigue (see Meuter, Rakotonirainy, Johns, & Wagner, 2005). This phenomenon raises a largely untested, empirical question explored in two studies: Can hypovigilance emerge as a consequence of task and/or environmental monotony, independent of time on task and fatigue? In Study 1, using a short computerised vigilance task requiring responses to be withheld to infrequent targets, we explored the differential impacts of stimuli and task demand manipulations on the development of a monotonous context and the associated effects on vigilance performance (as indexed by respone errors and response times), independent of fatigue and time on task. The role of individual differences (sensation seeking, extroversion and cognitive failures) in moderating monotony effects was also considered. The results indicate that monotony affects sustained attention, with hypovigilance and associated performance worse in monotonous than in non-monotonous contexts. Critically, performance decrements emerged early in the task (within 4.3 minutes) and remained consistent over the course of the experiment (21.5 minutes), suggesting that monotony effects can operate independent of time on task and fatigue. A combination of low task demands and low stimulus variability form a monotonous context characterised by hypovigilance and poor task performance. Variations to task demand and stimulus variability were also found to independently affect performance, suggesting that monotony is a multi-dimensional construct relating to both task monotony (associated with the task itself) and environmental monotony (related to characteristics of the stimulus). Consequently, it can be concluded that monotony is multi-dimensional and is characterised by low variability in stimuli and/or task demands. The proposition that individual differences emerge under conditions of varying monotony with high sensation seekers and/or extroverts performing worse in monotonous contexts was only partially supported. Using a driving simulator, the findings of Study 1 were extended to a driving context to identify the behavioural and psychophysiological indices of monotony-related hypovigilance associated with variations to road design and road side scenery (Study 2). Supporting the proposition that monotony is a multi-dimensional construct, road design variability emerged as a key moderating characteristic of environmental monotony, resulting in poor driving performance indexed by decrements in steering wheel measures (mean lateral position). Sensation seeking also emerged as a moderating factor, where participants high in sensation seeking tendencies displayed worse driving behaviour in monotonous conditions. Importantly, impaired driving performance was observed within 8 minutes of commencing the driving task characterised by environmental monotony (low variability in road design) and was not accompanied by a decline in psychophysiological arousal. In addition, no subjective declines in alertness were reported. With fatigue effects associated with prolonged driving (van der Hulst, Meijman, & Rothengatter, 2001) and indexed by drowsiness, this pattern of results indicates that monotony can affect driver vigilance, independent of time on task and fatigue. Perceptual load theory (Lavie, 1995, 2005) and mindlessness theory (Robertson, Manly, Andrade, Baddley, & Yiend, 1997) provide useful theoretical frameworks for explaining and predicting monotony effects by positing that the low load (of task and/or stimuli) associated with a monotonous task results in spare attentional capacity which spills over involuntarily, resulting in the processing of task-irrelevant stimuli or task unrelated thoughts. That is, individuals – even when not fatigued - become easily distracted when performing a highly monotonous task, resulting in hypovigilance and impaired performance. The implications for road safety, including the likely effectiveness of fatigue countermeasures to mitigate monotony-related driver hypovigilance are discussed.

Haplotype analysis of two recurrent CDKN2A mutations in 10 melanoma families : evidence for common founders and independent mutations

Germ-line mutations in CDKN2A have been shown to predispose to cutaneous malignant melanoma. We have identified 2 new melanoma kindreds which carry a duplication of a 24bp repeat present in the 5' region of CDKN2A previously identified in melanoma families from Australia and the United States. This mutation has now been reported in 5 melanoma families from 3 continents: Europe, North America, and Australasia. The M53I mutation in exon 2 of CDKN2A has also been documented in 5 melanoma families from Australia and North America. The aim of this study was to determine whether the occurrence of the mutations in these families from geographically diverse populations represented mutation hotspots within CDKN2A or were due to common ancestors. Haplotypes of 11 microsatellite markers flanking CDKN2A were constructed in 5 families carrying the M53I mutation and 5 families carrying the 24bp duplication. There were some differences in the segregating haplotypes due primarily to recombinations and mutations within the short tandem-repeat markers; however, the data provide evidence to indicate that there were at least 3 independent 24bp duplication events and possibly only 1 original M53I mutation. This is the first study to date which indicates common founders in melanoma families from different continents.

SAP webflow made configurable: unifying workflow templates into a configurable model

To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide workflow templates for their software. Each of these templates depicts a variant of how the software supports a certain business process, allowing the user to save the effort of creating models and links to system components from scratch by selecting and activating the appropriate template. A combination of the strengths from different templates is however only achievable by manually adapting the templates which is cumbersome. We therefore suggest in this paper to combine different workflow templates into a single configurable workflow template. Using the workflow modeling language of SAP’s WebFlow engine, we show how such a configurable workflow modeling language can be created by identifying the configurable elements in the original language. Requirements imposed on configurations inhibit invalid configurations. Based on a default configuration such configurable templates can be used as easy as the traditional templates. The suggested approach is also applicable to other workflow modeling languages