253 search results - page 39 / 51 » Formal analysis of timed continuous Petri nets |
123
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
98
Voted
APN
2001
Springer
15 years 6 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
113
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
148
Voted
APN
2006
Springer
15 years 5 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...