This paper addresses several questions related to the control of timed continuous Petri nets
under infinite server semantics. First, some results regarding equilibrium states and control …

In this paper we consider Hybrid Petri Nets (HPNs), a particular formalism that combines
fluid and discrete event dynamics. We first provide a survey of the main HPN models that …

The stochastic process algebra PEPA is a powerful modelling formalism for concurrent
systems, which has enjoyed considerable success over the last decade. Such modelling can …

We study a continuous dynamics for a class of Petri nets which allows the routing at non-free
choice places to be determined by priorities rules. We show that this dynamics can be …

Modelling very large systems that consist of many similar components can lead to a state
space explosion. A continuous approximation of the system can be used to avoid this …

State explosion problems in the analysis of discrete event dynamic systems have lead to
relaxed views, fluidification in particular. Proceeding in that way continuous Petri nets have …

This paper addresses a sampling problem for timed continuous Petri nets under infinite
servers semantics. Different representations of the continuous Petri net system are given, the …

This paper addresses the optimal control problem of continuous Petri nets under infinite
servers semantics. Our goal is to find a control input optimizing a certain cost function that …

Abstract Continuous Petri Nets is a subclass of hybrid models representing relaxed views of
discrete events systems, in which timing may adopt different semantics. Even if no semantics …

Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input
constraints that can approximate the dynamical behavior of a class of timed discrete event …