-
Without Abstract
-
...asynchronous diagnosis in (safe) petri net models of distributed systems, using the partial order semantics of occurrence net unfoldings. both the observability and diagnosability properties will appear...us to the analysis of a relation in occurrence nets, first presented in : given the occurrence of some event a that reveals b, the occurrence of b is inevitable. then...
-
...to reduce graphs while preserving observed proper- ties. we propose a new representation of a reachability graph where nodes are particular petri nets, occurrence nets, characterizing state space parts. checking...done using efficient algorithms for occurrence nets. moreover, our representation can be used to obtain a stut- tering equivalent graph on which nexttime-less linear temporal...
-
a dense occurrence of the ctenophore bolinopsis infundibulum was observed at depths of approx. 1250...column. ninety ctenophores among 112 observed at 1200-1270-m depth were in the foraging posture. one individual captured at depth had a female c5 stage of neocalanus...
-
...order semantics of place/transition nets (pt-nets) based on the process semantics given through net un- folding and occurrence nets. to deal with inhibitor arcs at the level of occurrence nets activator arcs (and extra conditions) are used. the properties of the resulting activa- tor occurrence nets are extensively investigated. it is...
-
...explore the relational structure of occurrence nets to derive a covering relation. it indicates that occurrence of some event a inevitable leads to occurrence of some event b, before a, after a, or concurrently. covering defines a decomposition of occurrence nets into facets; we introduce the...
-
...a causality semantics for weighted place/transition nets with weighted inhibitor arcs (pti-nets) is proposed, by extending
the standard approach based on the process semantics given through net unfolding and occurrence nets. it is demonstrated how
processes...
-
...of such systems using petri nets and their processes as a formal behavioural model. we first...sequential semantics of the resulting nets is formalised through processes based on occurrence nets augmented with additional information about...
-
...the impact of aerosols on precipitation occurrence in warm clouds is assessed using a combination of multisensor satellite cloud...information from both satellite and a global transport model. aerosols are found to suppress the formation of precipitation in polluted regions, evidenced by a trend toward higher liquid water...
-
...the impact of aerosols on precipitation occurrence in warm clouds is assessed using a combination of multisensor satellite cloud...information from both satellite and a global transport model. aerosols are found to suppress the formation of precipitation in polluted regions, evidenced by a trend toward higher liquid water...