Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets

Critical time distributed systems cannot be considered from a time point of view as Markovian processes and classical analysis methods cannot then be used.We present for analysing such systems a methodology based on the concept of the worst case(s). Such methodology is implemented thanks to the so-called “Stochastic Timed Petri Net” which allows to combine different transition firing rules.As application example, we consider a distributed producer-consumer process (the production process is periodic with a jitter; the produced data have a validity time window; the consumption request process is periodic with a jitter).