Reverse Testing Equivalences for Time Petri Nets

The intention of the paper is to present a framework for developing, studying and comparing testing equivalences in interleaving, step, partial-order and combined semantics with reverse, in the context of safe Dense-Time Petri Nets (TPNs). For representation of behavior of TPNs partial-order semantic of time causal processes are used. Reversibility means that single or concurrent actions can be undone only after caused actions are undone or not done yet. As result we establish relationships between testing equivalences under consideration.