We consider Dense-Timed Petri Nets (TPN), an extension of Petri nets in which each token is equipped with a real-valued clock and where the semantics is lazy (i.e., enabled transitions need not fire; time can pass and disable transitions). We consider the following verification problems for TPNs. (i) Zenoness: whether there exists a zeno-computation from a given marking, i.e., an infinite compu...

Reports present mixed findings on the extent to which the development of receptive language skills in children with severe speech and physical impairments (SSPI) is compromised by their difficulty with speaking (V. W. Berninger & B. M. Gans, 1986; D. V. M. Bishop, B. Byers Brown, & J. Robson, 1990; O. Udwin & W. Yule, 1990). In this study, grammaticality judgments were used to measure the sensi...

The observation that not all grammatical realizations in heritage languages can be attributed to transfer from a dominant language has been emphasized several recent works. This paper provides further arguments this direction Romanian. As opposed standard Romanian, the Romanian data examined here do exhibit restriction which blocks overt definiteness on differentially marked object (DOM), when ...

The paper deals with the typology of the case marking of semantic core roles. The competing economy considerations of hearer (disambiguation) and speaker (minimal effort) are formalized in terms of evolutionary game theory. It will be shown that the case marking patterns that are attested in the languages of the world are those that are evolutionary stable for different relative weightings of s...

In (1a), the verb shows subject agreement with 'Alemu (3sm)' and object agreement with 'the dead cat (3sm)'. Probably due to the strong verbal agreement, a null pronominal (‘pro’) can be used as the subject (or the object), as in (1b). Besides agreement-marking, Chaha verbs host prefixes to yield transitivity alternations, passivization, and causativization. Hetzron’s (1977) summary of the thre...