Coming from pure Petri net by applying some time conditions, Time Petri net is used to model systems in which time is an important system element.
We propose the methods of composing time factors between transitions, which are joinable and enable, i...
Coming from pure Petri net by applying some time conditions, Time Petri net is used to model systems in which time is an important system element.
We propose the methods of composing time factors between transitions, which are joinable and enable, in Time Petri net. Composition of time factors is divided into two types: sequence and join.