Regular Trace Event Structures

We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting. As a first step towards achieving this goal, we define the notion of a regular trace event structure. We then provide some simple characterizations of this notion of regularity both in terms of recognizable trace languages and in terms of finite 1-safe Petri nets

Multimodal information processing and associative learning in the insect brain

The study of sensory systems in insects has a long-spanning history of almost an entire century. Olfaction, vision, and gustation are thoroughly researched in several robust insect models and new discoveries are made every day on the more elusive thermo- and mechano-sensory systems. Few specialized senses such as hygro- and magneto-reception are also identified in some insects. In light of recent advancements in the scientific investigation of insect behavior, it is not only important to study sensory modalities individually, but also as a combination of multimodal inputs. This is of particular significance, as a combinatorial approach to study sensory behaviors mimics the real-time environment of an insect with a wide spectrum of information available to it. As a fascinating field that is recently gaining new insight, multimodal integration in insects serves as a fundamental basis to understand complex insect behaviors including, but not limited to navigation, foraging, learning, and memory. In this review, we have summarized various studies that investigated sensory integration across modalities, with emphasis on three insect models (honeybees, ants and flies), their behaviors, and the corresponding neuronal underpinnings

Two Parallel Finite Queues with Simultaneous Services and Markovian Arrivals

In this paper, we consider a finite capacity single server queueing model with two buffers, A and B, of sizes K and N respectively. Messages arrive one at a time according to a Markovian arrival process. Messages that arrive at buffer A are of a different type from the messages that arrive at buffer B. Messages are processed according to the following rules: 1. When buffer A(B) has a message and buffer B(A) is empty, then one message from A(B) is processed by the server. 2. When both buffers, A and B, have messages, then two messages, one from A and one from B, are processed simultaneously by the server. The service times are assumed to be exponentially distributed with parameters that may depend on the type of service. This queueing model is studied as a Markov process with a large state space and efficient algorithmic procedures for computing various system performance measures are given. Some numerical examples are discussed

Product interval automata

We identify a subclass of timed automata called product interval automata and develop its theory. These automata consist of a network of timed agents with the key restriction being that there is just one clock for each agent and the way the clocks are read and reset is determined by the distribution of shared actions across the agents. We show that the resulting automata admit a clean theory in both logical and language theoretic terms. We also show that product interval automata are expressive enough to model the timed behaviour of asynchronous digital circuits

An expressively complete linear time temporal logic for Mazurkiewicz traces

A basic result concerning LTL, the propositional temporal logic of linear time, is that it is expressively complete; it is equal in expressive power to the first order theory of sequences. We present here a smooth extension of this result to the class of partial orders known as Mazurkiewicz traces. These partial orders arise in a variety of contexts in concurrency theory and they provide the conceptual basis for many of the partial order reduction methods that have been developed in connection with LTL-specifications. We show that LTrL, our linear time temporal logic, is equal in expressive power to the first order theory of traces when interpreted over (finite and) infinite traces. This result fills a prominent gap in the existing logical theory of infinite traces. LTrL also provides a syntactic characterisation of the so-called trace consistent (robust) LTL-specifications. These are specifications expressed as LTL formulas that do not distinguish between different linearisations of the same trace and hence are amenable to partial order reduction methods

Training needs of traditional marine fishermen in Kerala

Training needs of 80 fishermen in 25 subject areas revealed a mean training need score of 23.0l; 95% wanted to get trained. The training needs were fairly strong in all subject areas, with the highest demand being for fishery engineering. Training need was also high for areas related to fishery technology. Most of the fishermen preferred to have the training at their own village, and in the months of June or July for an average period of 20.85 days. Education and income were positively related to intensity of training needs whereas age, number of family members, number of employed family members and experience in fishing were negatively correlated with it. These six variables explained 27 of the variance in training need intensity

Elementary Transition Systems and Refinement

The model of Elementary Transition Systems has been introduced by the authors as an abstraction of Elementary Net Systems - with a formal embedding in terms of a categorical coreflection, keeping behavioural information like causality, concurrency and conflict, but forgetting the concrete programming of a particular behaviour over an event set using conditions. In this paper we give one example of the advantages of ETS over ENS, - the definition of local state refinement. We show that the well known problems in understanding within nets the simple notion of syntactic substitution of conditions by (sub) nets behaviourally, - these problems seem to disappear when moving to the more abstract level of ETS. Formally, we show that the ETS-version of condition-substitution does satisfy nice and natural properties, e.g., projection and compositionality results w.r.t. a standard notion of transition system morphisms

Transition Systems, Event Structures and Unfoldings

Elementary transition systems were introduced by the authors in DAIMI PB-310. They were proved to be, in a strong categorical sense, the transition system version of elementray net systems. The question arises whether the notion of a region and the axioms (mostly based on regions) imposed on ordinary transition systems to obtain elementray net systems. Stated differently, one colud ask whether elementray transition systems could also play a role in characterizing other models of concurrency. We show here that by smoothly stengthening the axioms of elementary transition systems one obtains a subclass called occurrence transitions systems which turn out to be categorically equivalent to the well-known model of concurrency called prime event structures. Next we show that occurrence transition systems are to elementry transition systems what occurrence nets are to elementary nets systems. We define an ''unfold'' operation on elementry transition systems which yields occurrence transistion systems. We then prove that this operation uniquely extends to a functor which is the right adjoint to the inclusion functor from (the full subcategory of) occurrence transition systems to (the category of) elementary transition systems. Thus the results of this paper also show that the semantic theory of elementray net systems has a nice counterpart in the more abstract world of transition systems

Elementary Transition Systems and Refinement

The model of Elementary Transition Systems has been introduced by the authors as an abstraction of Elementary Net Systems - with a formal embedding in terms of a categorical coreflection, keeping behavioural information like causality, concurrency and conflict, but forgetting the concrete programming of a particular behaviour over an event set using conditions. In this paper we give one example of the advantages of ETS over ENS, - the definition of local state refinement. We show that the well known problems in understanding within nets the simple notion of syntactic substitution of conditions by (sub) nets behaviourally, - these problems seem to disappear when moving to the more abstract level of ETS. Formally, we show that the ETS-version of condition-substitution does satisfy nice and natural properties, e.g., projection and compositionality results w.r.t. a standard notion of transition system morphisms