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.

CD73 and CD29 concurrently mediate the mechanically induced decrease of migratory capacity of mesenchymal stromal cells

The assumption that mesenchymal stromal cell (MSC)-based therapies are capable of augmenting physiological regeneration processes has fostered intensive basic and clinical research activities. However, to achieve sustained therapeutic success in vivo, not only the biological, but also the mechanical microenvironment of MSCs during these regeneration processes needs to be taken into account. This is especially important for e.g., bone fracture repair, since MSCs present at the fracture site undergo significant biomechanical stimulation. This study has therefore investigated cellular characteristics and the functional behaviour of MSCs in response to mechanical loading. Our results demonstrated a reduced expression of MSC surface markers CD73 (ecto-5’-nucleotidase) and CD29 (integrin β1) after loading. On the functional level, loading led to a reduced migration of MSCs. Both effects persisted for a week after the removal of the loading stimulus. Specifi c inhibition of CD73/CD29 demonstrated their substrate dependent involvement in MSC migration after loading. These results were supported by scanning electron microscopy images and phalloidin staining of actin fi laments displaying less cell spreading, lamellipodia formation and actin accumulations. Moreover, focal adhesion kinase and Src-family kinases were identified as candidate downstream targets of CD73/CD29 that might contribute to the mechanically induced decrease in MSC migration. These results suggest that MSC migration is controlled by CD73 CD29, which in turn are regulated by mechanical stimulation of cells. We therefore speculate that MSCs migrate into the fracture site, become mechanically entrapped, and thereby accumulate to fulfil their regenerative functions.

Performance analysis of business process models with advanced constructs

The importance of actively managing and analysing business processes is acknowledged more than ever in organisations nowadays. Business processes form an essential part of an organisation and their application areas are manifold. Most organisations keep records of various activities that have been carried out for auditing purposes, but they are rarely used for analysis purposes. This paper describes the design and implementation of a process analysis tool that replays, analyses and visualises a variety of performance metrics using a process definition and its corresponding execution logs. The replayer uses a YAWL process model example to demonstrate its capacity to support advanced language constructs.

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.

Seismic capacity of building constructed in slip formed load bearing wall panels

Constructing buildings using slip formed load bearing wall panels is becoming increasingly popular in Sri Lanka due to several advantages; low cost, environmental friendliness and rapid construction technique. These wall panels are already successfully implemented in many low rise buildings. However, the seismic capacities of these buildings have not been properly studied. Few seismic activities reported in Sri Lanka have not caused severe structural damage, but predictions can not be made as to whether this will continue to be the case in the future. This highlights the need to study the seismic capacity of buildings constructed in slip formed load bearing wall panels. This paper presents a study of the seismic capacity of the existing medium rise building.

The coming of post-reflexive society : a critique of the political economy of digital capitalism

Language is a unique aspect of human communication because it can be used to discuss itself in its own terms. For this reason, human societies potentially have superior capacities of co-ordination, reflexive self-correction, and innovation than other animal, physical or cybernetic systems. However, this analysis also reveals that language is interconnected with the economically and technologically mediated social sphere and hence is vulnerable to abstraction, objectification, reification, and therefore ideology – all of which are antithetical to its reflexive function, whilst paradoxically being a fundamental part of it. In particular, in capitalism, language is increasingly commodified within the social domains created and affected by ubiquitous communication technologies. The advent of the so-called ‘knowledge economy’ implicates exchangeable forms of thought (language) as the fundamental commodities of this emerging system. The historical point at which a ‘knowledge economy’ emerges, then, is the critical point at which thought itself becomes a commodified ‘thing’, and language becomes its “objective” means of exchange. However, the processes by which such commodification and objectification occurs obscures the unique social relations within which these language commodities are produced. The latest economic phase of capitalism – the knowledge economy – and the obfuscating trajectory which accompanies it, we argue, is destroying the reflexive capacity of language particularly through the process of commodification. This can be seen in that the language practices that have emerged in conjunction with digital technologies are increasingly non-reflexive and therefore less capable of self-critical, conscious change.

Experimental and finite element analysis of a double strap joint between steel plates and normal modulus CFRP

Strengthening of steel structures using externally-bonded carbon fibre reinforced polymers ‘CFRP’ is a rapidly developing technique. This paper describes the behaviour of axially loaded flat steel plates strengthened using carbon fibre reinforced polymer sheets. Two steel plates were joined together with adhesive and followed by the application of carbon fibre sheet double strap joint with different bond lengths. The behaviour of the specimens was further investigated by using nonlinear finite element analysis to predict the failure modes and load capacity. In this study, bond failure is the dominant failure mode for normal modulus (240 GPa) CFRP bonding which closely matched the results of finite elements. The predicted ultimate loads from the FE analysis are found to be in good agreement with experimental values.

An analysis of schema change intervention

Successful organizational transformation relies on being able to achieve paradigm or collective schema change, and more particularly, the ability to manage the interplay between pre-existing schemas and alternative schemas required for new environments. This conceptual paper presents an analysis and critique of collective schema change dynamics. Two schema change pathways are reflected in the literature: frame-juxtapose-transition and frame-disengage-learning. Research findings in each pathway are limited and/or contradictory. Moreover, research on schema change focuses primarily on social dynamics and less on the relationship between social schema change dynamics and individual schema change dynamics. One implication of this lack of focus on individual schema change dynamics is the masking of the high level of cognitive processing and cognitive effort required by individuals to effect schema change. The capacity to achieve organizational transformation requires that more attention is given to managing these dynamics, which, in turn, requires significant investment in developing the change leadership capabilities of managers and the organizations they manage.

Analysis of the CDKN2A, CDKN2B and CDK4 genes in 48 Australian melanoma kindreds

Germline mutations within the cyclin-dependent kinase inhibitor 2A (CDKN2A) gene and one of its targets, the cyclin dependent kinase 4 (CDK4) gene, have been identified in a proportion of melanoma kindreds. In the case of CDK4, only one specific mutation, resulting in the substitution of a cysteine for an arginine at codon 24 (R24C), has been found to be associated with melanoma. We have previously reported the identification of germline CDKN2A mutations in 7/18 Australian melanoma kindreds and the absence of the R24C CDK4 mutation in 21 families lacking evidence of a CDKN2A mutation. The current study represents an expansion of these efforts and includes a total of 48 melanoma families from Australia. All of these families have now been screened for mutations within CDKN2A and CDK4, as well as for mutations within the CDKN2A homolog and 9p21 neighbor, the CDKN2B gene, and the alternative exon 1 (E1beta) of CDKN2A. Families lacking CDKN2A mutations, but positive for a polymorphism(s) within this gene, were further evaluated to determine if their disease was associated with transcriptional silencing of one CDKN2A allele. Overall, CDKN2A mutations were detected in 3/30 (10%) of the new kindreds. Two of these mutations have been observed previously: a 24 bp duplication at the 5' end of the gene and a G to C transversion in exon 2 resulting in an M531 substitution. A novel G to A transition in exon 2, resulting in a D108N substitution was also detected. Combined with our previous findings, we have now detected germline CDKN2A mutations in 10/48 (21%) of our melanoma kindreds. In none of the 'CDKN2A-negative' families was melanoma found to segregate with either an untranscribed CDKN2A allele, an R24C CDK4 mutation, a CDKN2B mutation, or an E1beta mutation. The last three observations suggest that these other cell cycle control genes (or alternative gene products) are either not involved at all, or to any great extent, in melanoma predisposition.

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.

Street-level drug law enforcement : a meta-analytical review

Our paper presents the results of a meta-analytical review of street level drug law enforcement. We conducted a series of meta-analyses to compare and contrast the effectiveness of four types of drug law enforcement approaches, including community-wide policing, problem-oriented/ partnership approaches that were geographically focused, hotspots policing and standard, unfocused law enforcement efforts. We examined the relative impact of these different crime control tactics on streetlevel drug problems as well as associated problems such as property crime, disorder and violent crime. The results of the meta-analyses, together with examination of forest plots, reveal that problem-oriented policing and geographically-focused interventions involving cooperative partnerships between police and third parties tend to be more effective at controlling drug problems than community-wide policing efforts that are unfocused and spread out across a community. But geographically focused and community-wide drug law enforcement interventions that leverage partnerships are more effective at dealing with drug problems than traditional, law enforcement-only interventions. Our results suggest that the key to successful drug law enforcement lies in the capacity of the police to forge productive partnerships with third parties rather than simply increasing police presence or intervention (e.g., arrests) at drug hotspots.