In this paper, we define branching processes and unfoldings of high-level Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings. The advantage of our method is that it avoids a potentially expensive translation of a high-level Petri net into a low-level one. The approach is conservative as all the verification tools employing the traditional unfoldings...

It has been claimed that speakers distinguish between phonemically-identical initial syllables that differ in morphological structure, but the phonetic details are poorly understood. Five SSBE speakers read scripted dialogues containing words with such syllables, half with true prefixes (Pr) e.g. mistimes, displease, and half with pseudo-prefixes (PsPr) e.g. mistakes, displays. Each word occurr...

The suffix array is a classic full-text index, combining effectiveness with simplicity. We discuss three approaches aiming to improve its efficiency even more: changes to the navigation, data layout and adding extra data. In short, we show that (i) how we search for the right interval boundary impacts significantly the overall search speed, (ii) a B-tree data layout easily wins over the standar...

Tetsǫ́t’ıné is a dialect of Dëne Sųłıné (ISO: CHP) spoken in Canada’s Northwest Territories. In Tetsǫ́t’ıné, prefix vowel length subject to complex set conditions. The basic generalization that when consonant deleted at the same level preceding added, short results; whereas added first, and an intervocalic deletes later level, long results (Jaker 2022). This paper addresses two apparent counterex...

Tag collision has a negative impact on the performance of RFID systems. In this paper, we propose an algorithm termed anti-collision protocol based on improved collision detection (ACP-ICD). In this protocol, dual prefixes matching and collision bit detection technique are employed to reduce the number of queries and promptly identify tags. According to the dual prefixes matching method and col...

A word is closed if it contains a proper factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We deal with the sequence of open and closed prefixes of Sturmian words and prove that this sequence characterizes every finite or infinite Sturmian word up to isomorphisms of the alphabet. We then characterize the combinatorial structure of ...

This is a comparative study of the verbal prefix do- in two South Slavic languages, Bulgarian (Blg.) and Croatian (Cro.). Although these languages show many similarities meaning verb stems prefixation patterns, there are some unusual differences that may confuse foreign learners Slavic, who expect identical or similar base verbs to combine with same prefixes. The cognitive linguistics framework...