Introduction to Poisson Clock Structure
The premise of the stochastic timed automata with Poisson Clock Structure is a review of the exponential distribution.
Also do not forget:
The exponential distribution is renowned because it is the only continuous distribution enjoying the memory-less property.
But we will need an extend version of the memory-less property for the exponential distribution:
Then let’s define the superposition.