454 search results - page 38 / 91 » Modeling and analysis of multi-agent systems using petri net... |
211
click to vote
TSMC
2010
14 years 11 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
136
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
162
click to vote
APN
2000
Springer
15 years 7 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
126
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
124
click to vote
APN
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...