Problem
The time required to process some data often depends on some property of the data. For example, sorting a sequence of items depends on the size of the sequence. Imagine that some transition of a PN models a process of this type. Provide a modification of the timed PN model presented here that is able to cope with this case.