A hybrid Petri net formalism that allows deterministic, and fluid transitions is extended by
generally distributed transitions that moves discrete tokens. Models in this formalism can be …

The modeling formalism of hybrid Petri nets allows investigating the dependability of eg
critical infrastructures with hybrid characteristics. Hybrid Petri nets can model random delays …

Abstract Hybrid Petri Nets with general transitions (HPnG) include general transitions that
fire after a randomly distributed amount of time. Stochastic Time Logic (STL) expresses …

Two approaches have been presented for the analysis of HPnGs,(i) a tree-based approach
and (ii) a state-space representation based on computational geometry. We present a …

Waste water treatment facilities clean sewage water from households and industry in several
cleaning steps. Such facilities are dimensioned to accommodate a maximum intake …

Hybrid Petri nets are used for modeling systems with discrete and continuous features. With
the help of these models, it is possible to design, observe and analyse this kind of hybrid …

Taking the cascade flood control system of guanyinge and shenwo reservoirs along taizi
river as the research object, this paper discussed the hybrid characteristics about flood …

Hybrid Petri nets have been extended with so-called general transitions, which add one
random variable and one dimension to the underlying state space for each firing of a …

Hybrid Petri nets are used to model systems with discrete and continuous components. By
extending them with so-called general one-shot transitions, stochastic variables are added …

More and more, our society and economy rely on the correct operation of, often hidden,
critical infrastructures. These infrastructures such as the power grid and water and gas …