4636 search results - page 1 / 928 » Modelling and Validation with VipTool |
105
Voted
BPM
2003
Springer
15 years 11 months ago
2003
Springer
175
Voted
APN
2008
Springer
15 years 7 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...
135
Voted
APN
2006
Springer
15 years 9 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...
148
Voted
APN
2005
Springer
15 years 11 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...
187
Voted
ANTSW
2010
Springer
15 years 3 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...