Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actually used at run time. At run time, a workflow model prescribes behavior of a reactive system (the workflow engine). But the token-game semantics models behavior of closed, active systems. Thus, the token-game semantics behavior...

The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontaneous events in virtual environments (VE). In order to reflect the individuality of each VH, these reactions have to be expressive and unique. In this paper we present firstly a model of reaction based on personality tra...

Behavior-based systems form the basis of autonomous control for many robots. In this article, we demonstrate that a single software framework can be used to represent many existing behavior based approaches. The unified behavior framework presented, incorporates the critical ideas and concepts of the existing reactive controllers. Additionally, the modular design of the behavior framework: 1) s...

An application was developed with which one can create and test simulations of reactive robots in simple environments. By means of this application we investigated the development of apparently plan-like collective behavior that originated out of simple behavioral structures without involving central plans or strategies. Under the appropriate circumstances seemingly cooperative and strategic be...

Much of the work on execution assumes that the agent constantly senses the environment, which lets it respond immediately" to errors or unexpected events. In this paper, we argue that this purely reactive strategy is only optimal if sensing is inexpensive, and wc formulate a simple model of execution that incorporates the cost of sensing. We present, an average-case analysis of this model, whic...

In this paper we present a set of simulation models to more realistically mimic the behaviour of users reading messages. We propose a User Behaviour Model, where a simulated user reacts to a message by a flexible set of possible reactions (e.g. ignore, read, like, save, etc.) and a mobility-based reaction (visit a place, run away from danger, etc.). We describe our models and their implementati...

We wish to create more versatile information systems by using adaptive distributed sensor networks: hundreds of small sensors, equipped with limited memory and multiple sensing capabilities will autonomously organize and reorganize themselves as ad-hoc networks in response to task requirements and to triggers from the environment. Distributed adaptive sensor networks are reactive computing syst...

In this work, raw fibers of a local species of stabraq (milkweed) were scoured, bleached and blended with cotton fibers with a ratio of 75/25 (cotton/stabraq). The improved stabraq fibers, scoured and bleached cotton and the blended fibers were spun into fine yarns and then they were subjected to dyeing with two types of reactive dyes namely, cold brand and high exhaustion brand reactive dye at...