Loading...
Please wait, while we are loading the content...
Similar Documents
Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lima, Evangivaldo Lüders, Ricardo Künzle, Luis Allan |
| Copyright Year | 2008 |
| Abstract | This paper deals with time Petri nets where a time interval is associated to each transition. Time Petri nets are widely used for modeling and analysis of real-time systems. Although there are several techniques for time Petri net analysis, this paper presents an interval analysis using a global time approach where an algebraic model is proposed for computing of intervals. For a particular class of time Petri nets, this model assumes an interval linear equation form which allows to compute intervals for a firing sequence as well as performance measures for timed systems. By using a redution method for time Petri nets this model assumes a matricial form that can be applied to a broad class of Time Petri nets. Furthermore, this approach is illustrated by computing basic performance metrics for a communication protocol. |
| Starting Page | 379 |
| Ending Page | 394 |
| Page Count | 16 |
| File Format | PDF HTM / HTML |
| DOI | 10.1590/S0103-17592008000400002 |
| Volume Number | 19 |
| Alternate Webpage(s) | http://www.scielo.br/pdf/ca/v19n4/a02v19n4.pdf |
| Alternate Webpage(s) | https://doi.org/10.1590/S0103-17592008000400002 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
