Recent advances in digital micro fluidic (DMF) technologies offer a promising platform for a
wide variety of bio-chemical applications, such as DNA analysis, automated drug discovery …

Sažetak This paper presents a novel approach for automated analysis of process models
discovered using process mining techniques. Process mining explores underlying …

A method is proposed to construct the-ω-regular expression that specifies the intersection of
sets of-ω-words represented by-ω-regular expressions R 1 and R 2. The sought-for …

Weighted automata are a conservative quantitative extension of finite automata that enjoys
applications, eg, in language processing and speech recognition. Their expressive power …

Symbolic transducers extend classical finite state transducers to infinite or large alphabets
like Unicode, and are a popular tool in areas requiring reasoning over string transformations …

The paper presents methods of aiding the project management of a computer information
system as an example of discrete dynamical systems (DDS). Human resource management …

Recently we developed supervisor localization, a top-down approach to distributed control
of discrete-event systems (DES) with finite behavior. Its essence is the allocation of …

Tree transducers are an expressive formalism for reasoning about tree-structured data.
Practical applications range from XSLT-like document transformations to translations of …

Информационное взаимодействие особи со средой обитания моделируется в виде
трехблочного агрегата, блоки которого соответствуют: а) аффектору; б) эффектору; в) …

Lahore, Pakistan; 2Department of Software Engineering, Lahore Garrison University,
Lahore, Pakistan; 3Department of Software Engineering, Wuhan University, Wuhan, China; …