Abstract Fluid (or Hybrid) Petri Nets are Petri net based models with two classesof places:
discrete places that carry a natural number of distinctobjects (tokens), and fluid places that …

In this paper, we present a Fluid Stochastic Petri Net (FSPN) based model which captures
the behavior of aging software systems with checkpointing, rejuvenation and self-restoration …

Hybrid Systems are modelsof interacting digital and continuous devices with applicationsin
the control of aircraft, computers, or modern cars for instance. Concurrently, Fluid Stochastic …

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

Fluid stochastic (or hybrid) Petri nets with flush-out arcs are Petri net-based models with two
classes of places: discrete places that carry a natural number of distinct objects (tokens), and …

Stochastic fluid models have been applied to model and evaluate the performance of many
important real systems. The automatic analysis tools to support of fluid models are still not as …

Describes a method for the simulation of fluid stochastic Petri nets (FSPNs). The FSPNs are
a promising formalism for modeling hybrid dynamic systems, ie systems having both discrete …

This dissertation is concerned with the derivation and implementation of discrete transparent
boundary conditions for systems of evolution equations. Transparent boundary conditions …

Marking dependency is a powerful tool that allows different firing time distributions to be
associated with a stochastic Petri net transition, depending on the marking. Through this …

Modern day renewable and smart energy systems are increasingly playing an important role
in our societies. Electric vehicle charging services infrastructures are becoming ever more …