In: Logic Journal of the IGPL 5(6), pages 921-923. November 1997. Oxford University Press. Proceedings of 4th Workshop on Logic, Languages, Information and Computation (WoLLIC'97), Fortaleza (Cear'a), Brazil, August 19-22, 1997. ; www.iis.nsk.su/persons/itar/.
Abstract: For time Petri nets, timed, untimed and region equivalences in the trace and bisimulation cases are introduced and the interrelations between these notions are establihed. We also treat weak variants of these equivalences which take into consideration `invisible' nature of silent actions. We finally investigate the question of preservation of the considered equivalences under a special kind of transition refinement.
Keywords: Time Petri nets; time; untime and region equivalences; silent actions; refinement.