Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets