Temporal analysis of extended marked graphs for real-time applications

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