In: Proc. 6th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, 29-31 October 1997, Tunis, Tunisia, pages 262-267. 1997.
Abstract: The presented study is conserved with the development of real-time distributed applications and more precisely, with the verification of temporal properties in a really distributed context (taking into account the characteristics of real architecture). It is shown how to use a time Petri net based model of application in order to prove that a communication system (networks, protocols) and a mapping of tasks meet specified temporal properties.
Keywords: distributed systems, real-time systems, time Petri nets, time constraints verification.