83 search results - page 1 / 17 » Specification, Safety and Reliability Analysis Using Stochas... |
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
HICSS
1995
IEEE
13 years 8 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
WSC
2007
13 years 7 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
BIRTHDAY
2010
Springer
13 years 1 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
FBIT
2007
IEEE
13 years 11 months ago
2007
IEEE
The application of Petri nets to analyze and simulate biological pathways has been developed vigorously. Some of the modifications of Petri nets appeared to perform quantitative a...