this paper deals with the problem of forbidden states in discrete event systems modeled by petri net. to avoid the forbidden states, some constraints which are called generalized mutual exclusion constraints can be assigned to them. enforcing these constraints on the system can be performed using control places. however, when the number of these constraints is large, a large number of control p...

Human-like robots combine the optimized biological morphology and functionality of the real human with the mechanical constraints and limitations in the creation as well as possible. This will be a trade-off at all times. The best biological solution of a detail is often simple in the function but too complex for the technical analogue. The technical materials are often missing what make a one-...

Music sharing technologies appear to exist tenuously between the possibilities supported by technical innovation (e.g., peer-to-peer discovery protocols) and the constraints of political, legal, and ethical considerations. These political, legal, and ethical considerations – digital rights management laws, in particular – have catalyzed much of the recent changes in music sharing technologies a...

BACKGROUND The first satellite center to offer interventional radiology procedures at Memorial Sloan Kettering Cancer Center opened in October 2014. Two of the procedures offered, fine needle aspirations and core biopsies, required rapid on-site cytologic evaluation of smears and biopsy touch imprints for cellular content and adequacy. The volume and frequency of such evaluations did not justif...

Tilapia was introduced to Bangladesh in 1954. Culture of this species is still in its infancy compared to neighboring countries, including Indonesia, the Philippines, Thailand, and Vietnam. Despite many positive culture attributes of tilapia, culture in Bangladesh may be constrained by different technical, socio-economic, and institutional factors. Some attempts have been made by the Department...

We show that it is possible to transform any given LPO ordering constraint C into a finite equivalent set of constraints S for which a special kind of solutions can be obtained. This allows to compute the equalities that follow from ordering constraints, and to decide e.g. whether an ordering constrained equation is a tautology. Another application we develop here is a method to check ordered r...

The paper introduces a notion of a budgetconstrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement and a post-transition profit. The paper proposes a new modal language for reasoning about such a system. The language uses a modality labeled by agent as well as by budget and profit constraints. The main tec...

As an international organisation serving 22 Pacific Island countries and territories in the fields of marine, land and social resources, SPC needs to disseminate technical and grassroots information to its members and target groups throughout Melanesia, Micronesia and Polynesia. Effective information delivery is therefore a priority of the organisation. Because of the Pacific’s unique geographi...

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyrig...

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyrig...