Because of their expressive power, Petri nets are widely used in the context of concurrent and distributed systems. We study in this paper a sub class of time Petri nets, named time open workflow nets (ToWF-nets), used to interconnect time constrained business processes. To interact correctly with each other, these processes have to be compatible.This include not only composability of the involved processes but also the correct execution of the overall composite system. In this context,we suggest in this paper to study the compatibility of ToWF-nets in different aspects and to provide a formal approach to characterize and verify this property. This approach is based on qualitative and quantitative analysis ensured by TCTL model checking.