963 search results - page 95 / 193 » Formal Analysis of BPMN Models Using Event-B |
157
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
110
click to vote
ECAL
2001
Springer
15 years 6 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
135
click to vote
CC
2009
Springer
14 years 11 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
121
click to vote
FUIN
2010
14 years 10 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...