Angers Loire Métropole

Chronic benzodiazepine (BZD) use in older adults has been linked to cognitive decline, yet its relationship with amyloid pathology in Alzheimer’s disease (AD) remains unclear. This systematic review aimed to synthesize clinical and preclinical evidenc

Interval Weighted Automata are a modeling formalism for timed systems that can be viewed as an alternative (more algebraic) to timed automata. We present here a way of deriving a deterministic interval weighted automaton to represent any bounded T-time Petri net subject to strong and single-server semantics. This approach consequently contributes to the characterization of the expressiveness of weighted automata with respect to other formalisms for timed Discrete Event Systems. In addition, the time language of the obtained abstraction has the characteristics of being included or equal to the time language of the T-time Petri net, and, in other words, any accessible state in the obtained Interval Weighted Automaton corresponds to an equally accessible state in the T-time Petri net. This property should allow the future use of this abstraction for the verification of properties that are expressed as an accessibility issue and/or for control.