Всех приветствую, нужна помощь, строю сеть Петри, собственно задача:
В системе передачи данных осуществляется обмен пакетами данных между пунктами А и В по дуплексному каналу связи. Пакеты поступают в пункты системы от абонентов с интервалами времени между ними 10±3 мс. Передача пакета занимает 10 мс. В пунктах имеются буферные регистры, которые могут хранить два пакета, включая передаваемый пакет. В случае прихода пакета в момент занятости регистров пунктам системы предоставляется выход на спутниковую полудуплексную линию связи, которая осуществляет передачу пакетов данных за 10±5 мс. При заня¬тости спутниковой линии пакет получает отказ.
Создал ее как вижу сам:

Описание:
Р0- Добавление пакета в буфер А
Р1- Добавление пакета в буфер В
Р2-Генерация пакета в систему А
Р3- Генерация пакета в систему В
Р4- Готовность обслужить пакет в А
Р5- Готовность обслужить пакет в В
Р6-Освобождение спутникового канала
Р7-Передача пакета по спутниковому каналу из А
Р8- Передача пакета по спутниковому каналу из В
Р9-Отправка пакета из А
Р10-Готовность отправки по каналу из А
Р11-Отправка пакета из В
Р12- Готовность отправки по каналу из В
t0-поступление пакета в систему системы А
t1- поступление пакета в систему системы В
t2- поступление пакета в спутников В
t3-окончание передачи по спутниковому каналу пакета из А
t4- поступление пакета в спутников В
t5- окончание передачи по спутниковому каналу пакета из В
t6-поступление пакета на отправку из А
t7-окончание передачи пакета из А
t8- поступление пакета на отправку из В
t9- окончание передачи пакета из В
τ1-генерация пакетов в систему А 7-13мс (в Р2)
τ2-генерация пакетов в систему В 7-13мс (в Р3)
τ3-передача пакета из системы А 10мс (в Р9)
τ4-передача пакета из системы В 10мс (в Р11)
τ5-передача по спутниковому каналу из системы А 5-15мс (в Р7)
τ6- передача по спутниковому каналу из системы В 5-15мс (в Р8)
Но что-то не так, зачет не получил

, в чем мое видение системы ошибочно? Может кто помочь?