4636 search results - page 1 / 928 » Modelling and Validation with VipTool |
BPM
2003
Springer
15 years 5 months ago
2003
Springer
110
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
APN
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
APN
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
112
click to vote
ANTSW
2010
Springer
14 years 9 months ago
2010
Springer
Division of labour in multi-robot systems or multi-robot task allocation (MRTA) is a challenging research issue. We propose to solve this MRTA problem using a set of previously pub...