Through the European controversy over agricultural biotechnology, genetically modified (GM) crops have been evaluated for an increasingly wide range of potential effects. As the experimental phase has been extended into commercial practices, the terms for product approval have become more negotiable and contentious. To analyse the regulatory conflicts, this paper links three theoretical perspec...

Through the European controversy over agricultural biotechnology, genetically modified (GM) crops have been evaluated for an increasingly wide range of potential effects. As the experimental phase has been extended into commercial practices, the terms for product approval have become more negotiable and contentious. To analyse the regulatory conflicts, this paper links three theoretical perspec...

Controllability is a fundamental correctness criterion for interacting service models. A service model is controllable if there exists a partner service such that their composition is free of deadlocks and livelocks. Whereas controllability can be automatically decided, the existing decision algorithm gives no information about the reasons of why a service model is uncontrollable. This paper in...

Through the European controversy over agricultural biotechnology, genetically modified (GM) crops have been evaluated for an increasingly wide range of potential effects. As the experimental phase has been extended into commercial practices, the terms for product approval have become more negotiable and contentious. To analyse the regulatory conflicts, this paper links three theoretical perspec...

Luo et al. proposed a new method to design the maximally permissive and efficient supervisor for enforcing linear constraints on an ordinary Petri net with uncontrollable transitions. In order to develop this method, Theorem 3 is given. It is clamed that “a linear constraint can be equivalently transformed at an uncontrollable transition into a disjunction of weakly admissible ones.” However, t...

The use of prolonged external ventricular drainage to treat uncontrollable intracranial hypertension in patients with cerebral cryptococcomas without hydrocephalus is unique and remains largely unreported. This condition, however, can be life-threatening. Early diagnosis and cerebrospinal fluid diversion techniques are important and are essential to survival and neurological function. We report...

In this paper, an efficient, numerically stable procedure is presented for the computation of irreducible generalized state-space realizations from non-minimal ones. The order reduction is performed by removing successively the uncontrollable and the unobservable parts of the system. Each reduction is accomplished by the same basic algorithm which deflates the uncontrollable part of the system ...

This paper describes a computationally eecient method for synthesizing feedback controllers for plants modeled by Petri nets which may contain uncontrollable transitions. The controller, a Petri net itself, computed using the concept of Petri net place invariants, enforces a set of linear constraints on the plant. It is shown how the original set of plant behavioral constraints can be transform...