DocumentCode
3231833
Title
Time constraint verification methods based on time Petri nets
Author
Toussaint, Joël ; Simonot-Lion, Françoise ; Thomesse, Jean-Pierre
Author_Institution
CRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
fYear
1997
fDate
29-31 Oct 1997
Firstpage
262
Lastpage
267
Abstract
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
Keywords
Petri nets; distributed processing; program verification; real-time systems; communication system; computer networks; protocols; real time distributed applications; task mapping; temporal properties; time Petri nets; time constraint verification methods; Automata; Computer architecture; Computer networks; Control systems; Data flow computing; Distributed computing; Object oriented modeling; Petri nets; Protocols; Time factors;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of
Conference_Location
Tunis
ISSN
1071-0485
Print_ISBN
0-8186-8153-5
Type
conf
DOI
10.1109/FTDCS.1997.644736
Filename
644736
Link To Document