-
Branching processes of general Petri nets
International audience -
Context Free Evolution of Words
Projet MEVAL -
On Occurrence Net Semantics of Petri Nets
This paper investigates structural properties of occurrence (Petri) nets and their interpretation as unfolding semantics of Petri net systems. Occurrence nets (ONs)... -
The Spread of a Catalytic Branching Random Walk
We consider a random walk on $\Z$ that branches at the origin only. In the supercritical regime we establish a law of large number for the maximal position $M_n$. Then... -
Supervision of distributed systems using constrained unfoldings of timed models
This work is devoted to the issue of monitoring of distributed real-time systems. In particular, it focuses on formal aspects of model-based supervision and problems... -
Estimates of cycle times in stochastic Petri nets
Disponible dans les fichiers attachés à ce document -
Birth and death processes with neutral mutations
20 pages, 2 figures -
Critical branching Brownian motion with absorption: survival probability
We consider branching Brownian motion on the real line with absorption at zero, in which particles move according to independent Brownian motions with the critical... -
Genealogy and Q-process
This work is concerned with the definition and study of the Q-process of some branching processes (inhomogeneous superprocesses) or recombination processes... -
Expected waiting time in symmetric polling systems with correlated vacations
Polling systems have been extensively studied, and have had many applications. They have often been used for studying wired local areas networks (such as token passing... -
Weak law of large numbers for some Markov chains along non homogeneous geneal...
We consider a population with non-overlapping generations, whose size goes to infinity. It is described by a discrete genealogy which may be time non-homogeneous and... -
Some mathematical tools for the Lenski experiment
The Lenski experiment is a long term daily reproduction of Escherichia coli, that has evidenced phenotypic and genetic evolutions along the years. Some mathematical... -
On the survival of a class of subcritical branching processes in random envir...
Let $Z_{n}$ be the number of individuals in a subcritical BPRE evolving in the environment generated by iid probability distributions. Let $X$ be the logarithm of the... -
The Width of Galton-Watson Trees Conditioned by the Size
International audience -
The Value of Information for Populations in Varying Environments
International audience -
Occurrence Net Logics
Colloque avec actes sans comité de lecture.
