Specification of the Transport Service Using Numerical Petri Nets