МатематикаSystems Dependability Assessment. Benefits of Petri Net ModelsJean-Francois Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni