Enrique Teruel

Learn More
A b s t r a c t . The structure theory of Place/Transit ion net systems is surveyed incorporating new contributions --in a tutorial style, mainly from a linear algebraic perspective. Topics included are: s ta te equation based analysis of safety properties (e.g., boundedness, mutual exclusion, deadlock-freeness, etc.), linear invariants, siphons and traps,(More)
Languages appear to differ in the way definite determiners are selected during noun phrase production. M. Miozzo and A. Caramazza (1999) proposed that a distinction should be made between early- and late-selection languages. In early-selection languages, the noun's gender uniquely specifies the definite determiner, whereas in late-selection languages the(More)