Modeling and simulating dynamic systems require to represent their processes and the system changes within one model. To that effect, reconfigurable Petri nets consist of a place/transition net and a set of rules that can modify the Petri net. The application of a rule is based on finding a suitable match of the rule in the given net. This match is an isomorphic subnet that has to be located me...

A locally threshold testable language L is a language with the property that for some nonnegative integers k and l, whether or not a word u is in the language L depends on (1) the preex and suux of the word u of length k?1 and (2) the set of intermediate substrings of length k of the word u where the sets of substrings occurring at least j times are the same, for j l. For given k and l the lang...

This paper is concerned with a subclass of deterministic pushdown transducers, called deterministic restricted one-counter transducers (droct’s), and studies the inclusion problem for droct’s which accept by final state. In the previous study, we presented a polynomialtime algorithm for checking the equivalence of these droct’s. By extending this technique, we present a polynomial-time algorith...

The irregularity of peak and valley stress values loading histories is the main impediment for accurate fatigue-based structural health monitoring. Since available fatigue material data (e.g., S-N curves) have been derived by cyclic tests, existing damage accumulation models can be implemented on structures under loading, cycle-counting algorithms transformation a spectrum into an equivalent on...