Text this: Petriho siete v modelovaní dopravného podsystému PVS :