Time constraint verification methods based on time Petri nets
Joël Toussaint, Françoise Simonot‐Lion, Jean Pierre Thomesse · 2002
The study is concerned with the development of real time distributed applications and more precisely with the verification of temporal properties in a distributed context (taking into account the characteristics of the real architecture). We show how to use a time Petri net based model of the application in order to prove that a communication system (networks, protocols) and a mapping of tasks meet specified temporal properties.