83 search results - page 4 / 17 » Specification, Safety and Reliability Analysis Using Stochas... |
109
click to vote
CMSB
2007
Springer
15 years 5 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
107
click to vote
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
JSW
2008
14 years 11 months ago
2008
Precise analysis of the Web structure can facilitate data pre-processing and enhance the accuracy of the mining results in the procedure of Web usage mining. STPN Stochastic Timed...
APN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
SIMUTOOLS
2008
15 years 1 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...