APN
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
APN
2004
Springer
14 years 5 months ago
2004
Springer
APN
2004
Springer
14 years 5 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
APN
2004
Springer
14 years 5 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
APN
2004
Springer
14 years 5 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
APN
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
APN
2004
Springer
14 years 5 months ago
2004
Springer
ANTSW
2004
Springer
14 years 5 months ago
2004
Springer
Constructive metaheuristics explore a tree of constructive decisions, the topology of which is determined by the way solutions are represented and constructed. Some solution repres...
ANTSW
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. In this paper we present a study of several Ant Colony Optimization (ACO) algorithms for the Set Covering Problem. In our computational study we emphasize the influence ...
ANTSW
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. The building behaviour of termites has previously been modelled mathematically in two dimensions. However, physical and logistic constraints were not taken into account i...