loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97)
Time Constraints Verification Methods Based on Time Petri Nets
Tunis, TUNISIA
October 29-October 31
ISBN: 0-8186-8153-5
ASCII Text
x 
 
Joel Toussaint, Francoise Simonot-Lion, Jean-Pierre Thomesse, "Time Constraints Verification Methods Based on Time Petri Nets," Future Trends of Distributed Computing Systems, IEEE International Workshop, pp. 262, 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), 1997.
 
 
BibTex
x
 
@article{ 10.1109/FTDCS.1997.644736,
author = {Joel Toussaint and Francoise Simonot-Lion and Jean-Pierre Thomesse},
title = {Time Constraints Verification Methods Based on Time Petri Nets},
journal ={Future Trends of Distributed Computing Systems, IEEE International Workshop},
volume = {0},
year = {1997},
issn = {1071-0485},
pages = {262},
doi = {http://doi.ieeecomputersociety.org/10.1109/FTDCS.1997.644736},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Future Trends of Distributed Computing Systems, IEEE International Workshop
TI - Time Constraints Verification Methods Based on Time Petri Nets
SN - 1071-0485
SP
EP
A1 - Joel Toussaint,
A1 - Francoise Simonot-Lion,
A1 - Jean-Pierre Thomesse,
PY - 1997
VL - 0
JA - Future Trends of Distributed Computing Systems, IEEE International Workshop
ER -
 
The presented study is concerned 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). We show 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.
Citation:
Joel Toussaint, Francoise Simonot-Lion, Jean-Pierre Thomesse, "Time Constraints Verification Methods Based on Time Petri Nets," ftdcs, pp.262, 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), 1997
Usage of this product signifies your acceptance of the Terms of Use.