264 search results - page 32 / 53 » Petri Net Based Model Validation in Systems Biology |
104
click to vote
IASTEDSEA
2004
15 years 1 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
ADC
2005
Springer
15 years 5 months ago
2005
Springer
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
130
click to vote
APN
2006
Springer
15 years 3 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...
IJSEKE
2008
14 years 11 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
134
click to vote
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...