- Full text PDF available (21)
- This year (1)
- Last five years (14)
In this paper we illustrate a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri Nets that we call S 'PI?. In essence, this class is built from state machines sharing a set of places modeling the availability of system resources. The analysis of S ' P R… (More)
We have developed a set of tools to construct positional weight matrices from known transcription factor binding sites in a species or taxon-specific manner, and to search for matches in DNA sequences.
Forest fires play a critical role in landscape transformation, vegetation succession, soil degradation and air quality. Improvements in fire risk estimation are vital to reduce the negative impacts of fire, either by lessen burn severity or intensity through fuel management, or by aiding the natural vegetation recovery using post-fire treatments. This paper… (More)
In this work we study the structure of the set of congruences on several hyperstructures with one and two (hyper-)operations. On the one hand, we show sufficient conditions guaranteeing that the set of congruences of an nd-groupoid is a complete lattice (which, in turn, is a sublattice of the lattice of equivalence relations on the nd-groupoid). On the… (More)