454 search results - page 63 / 91 » Modeling and analysis of multi-agent systems using petri net... |
JCIT
2008
15 years 1 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
BPM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
110
click to vote
ISPA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
190
click to vote
DKE
2011
14 years 5 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
130
click to vote
WOSP
2005
ACM
15 years 7 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...