DocumentCode
3490193
Title
Temporal analysis of extended marked graphs for real-time applications
Author
Bruno, G. ; Castella, A. ; Pavesio, I. ; Pescarmona, M.P.
Author_Institution
Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
fYear
1993
fDate
13-14 May 1993
Firstpage
66
Lastpage
70
Abstract
Many of the formalisms available for describing real-time systems and assessing their performance are based on some flavor of Petri nets. Most of these formalisms are expressive but not analyzable, or vice-versa. To overcome these limitations, the authors increase the expressiveness of a current formal method, by extending it with controlled forms of transition expansions. An example is discussed
Keywords
Petri nets; formal specification; temporal logic; Petri nets; extended marked graphs; formal method; real-time applications; temporal analysis; transition expansions; Analytical models; Frequency; Lead; Mathematical analysis; Mathematical model; Performance analysis; Petri nets; Real time systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Applications, 1993., Proceedings of the IEEE Workshop on
Conference_Location
New York, NY
Print_ISBN
0-8186-4130-4
Type
conf
DOI
10.1109/RTA.1993.263114
Filename
263114
Link To Document