Сети Петри задание...

[DenFreeman]

Не знал в какую тему написать решил сюда если что-то не т ак прошу ногами не пинать=)...помогите пожалуйста составить Сеть Петри, моделирующую арифметическую функцию, т.е. такую функцию, у которой и аргументы, и результаты принимают целые положительные значения (переменные могут задаваться как маркировкой, так и кратностью дуг):
а)целочисленное деление а на b : у = div(a.b);

Заранее благодарен!!!