Automata for true concurrency properties

We present an automata-theoretic framework for the model checking of true concurrency properties. These are specified in a fixpoint logic, corresponding to history-preserving bisimilarity, capable of describing events in computations and their dependencies. The models of the logic are event structures or any formalism which can be given a causal semantics, like Petri nets. Given a formula and an event structure satisfying suitable regularity conditions we show how to construct a parity tree automaton whose language is non-empty if and only if the event structure satisfies the formula. The automaton, due to the nature of event structure models, is usually infinite. We discuss how it can be quotiented to an equivalent finite automaton, where emptiness can be checked effectively. In order to show the applicability of the approach, we discuss how it instantiates to finite safe Petri nets. As a proof of concept we provide a model checking tool implementing the technique

THE INFLUENCE OF STORAGE CONDITIONS ON THE STALING RATE AND STARCH RETROGRADATION IN WHEAT ROLLS PACKAGED IN A MODIFIED ATMOSPHERE

This study focused on the effects of low storage temperature (1 and -18 °C) and time (10 weeks) on the physicochemical properties of wheat rolls packaged in a modified atmosphere. We determined the moisture content, total acidity, crumb firmness (texture profile analysis; TPA) and parameters reflecting resistant starch (RS) development: blue number value, enthalpy and temperature of starch melting, and crystallinity of starch. It was showed that RS increased over time under both storage conditions. The increase was greater in frozen rolls (56%) than in refrigerated ones (20%), based on the enthalpy of RS melting. Changes in the moisture level and RS melting enthalpy were negatively correlated, which may suggest a relationship between the processes of moisture migration and starch structure reorganization. The presence of crystalline structures suggested advanced starch structure reorganization. </jats:p