Sieci Petriego w modelowaniu i analizie systemów współbieżnych