2,298 research outputs found
A Taxonomy of Workflow Management Systems for Grid Computing
With the advent of Grid and application technologies, scientists and
engineers are building more and more complex applications to manage and process
large data sets, and execute scientific experiments on distributed resources.
Such application scenarios require means for composing and executing complex
workflows. Therefore, many efforts have been made towards the development of
workflow management systems for Grid computing. In this paper, we propose a
taxonomy that characterizes and classifies various approaches for building and
executing workflows on Grids. We also survey several representative Grid
workflow systems developed by various projects world-wide to demonstrate the
comprehensiveness of the taxonomy. The taxonomy not only highlights the design
and engineering similarities and differences of state-of-the-art in Grid
workflow systems, but also identifies the areas that need further research.Comment: 29 pages, 15 figure
Hybrid Petri net model of a traffic intersection in an urban network
Control in urban traffic networks constitutes an important and challenging research topic nowadays. In the literature, a lot of work can be found devoted to improving the performance of the traffic flow in such systems, by means of controlling the red-to-green switching times of traffic signals. Different techniques have been proposed and commercially implemented, ranging from heuristic methods to model-based optimization. However, given the complexity of the dynamics and the scale of urban traffic networks, there is still a lot of scope for improvement. In this work, a new hybrid model for the traffic behavior at an intersection is introduced. It captures important aspects of the flow dynamics in urban networks. It is shown how this model can be used in order to obtain control strategies that improve the flow of traffic at intersections, leading to the future possibility of controlling several connected intersections in a distributed way
On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives
Muchos sistemas artificiales, como los sistemas de manufactura, de logÃstica, de telecomunicaciones o de tráfico, pueden ser vistos "de manera natural" como Sistemas Dinámicos de Eventos Discretos (DEDS). Desafortunadamente, cuando tienen grandes poblaciones, estos sistemas pueden sufrir del clásico problema de la explosión de estados. Con la intención de evitar este problema, se pueden aplicar técnicas de fluidificación, obteniendo una relajación fluida del modelo original discreto. Las redes de Petri continuas (CPNs) son una aproximación fluida de las redes de Petri discretas, un conocido formalismo para los DEDS. Una ventaja clave del empleo de las CPNs es que, a menudo, llevan a una substancial reducción del coste computacional. Esta tesis se centra en el control de Redes de Petri continuas temporizadas (TCPNs), donde las transiciones tienen una interpretación temporal asociada. Se asume que los sistemas siguen una semántica de servidores infinitos (velocidad variable) y que las acciones de control aplicables son la disminución de la velocidad del disparo de las transiciones. Se consideran dos interesantes problemas de control en esta tesis: 1) control del marcado objetivo, donde el objetivo es conducir el sistema (tan rápido como sea posible) desde un estado inicial a un estado final deseado, y es similar al problema de control set-point para cualquier sistema de estado continuo; 2) control del flujo óptimo, donde el objetivo es conducir el sistema a un flujo óptimo sin conocimiento a priori del estado final. En particular, estamos interesados en alcanzar el flujo máximo tan rápido como sea posible, lo cual suele ser deseable en la mayorÃa de sistemas prácticos. El problema de control del marcado objetivo se considera desde las perspectivas centralizada y descentralizada. Proponemos varios controladores centralizados en tiempo mÃnimo, y todos ellos están basados en una estrategia ON/OFF. Para algunas subclases, como las redes Choice-Free (CF), se garantiza la evolución en tiempo mÃnimo; mientras que para redes generales, los controladores propuestos son heurÃsticos. Respecto del problema de control descentralizado, proponemos en primer lugar un controlador descentralizado en tiempo mÃnimo para redes CF. Para redes generales, proponemos una aproximación distribuida del método Model Predictive Control (MPC); sin embargo en este método no se considera evolución en tiempo mÃnimo. El problema de control de flujo óptimo (en nuestro caso, flujo máximo) en tiempo mÃnimo se considera para redes CF. Proponemos un algoritmo heurÃstico en el que calculamos los "mejores" firing count vectors que llevan al sistema al flujo máximo, y aplicamos una estrategia de disparo ON/OFF. También demostramos que, debido a que las redes CF son persistentes, podemos reducir el tiempo que tarda en alcanzar el flujo máximo con algunos disparos adicionales. Los métodos de control propuestos se han implementado e integrado en una herramienta para Redes de Petri hÃbridas basada en Matlab, llamada SimHPN
Collective navigation of complex networks: Participatory greedy routing
Many networks are used to transfer information or goods, in other words, they
are navigated. The larger the network, the more difficult it is to navigate
efficiently. Indeed, information routing in the Internet faces serious
scalability problems due to its rapid growth, recently accelerated by the rise
of the Internet of Things. Large networks like the Internet can be navigated
efficiently if nodes, or agents, actively forward information based on hidden
maps underlying these systems. However, in reality most agents will deny to
forward messages, which has a cost, and navigation is impossible. Can we design
appropriate incentives that lead to participation and global navigability?
Here, we present an evolutionary game where agents share the value generated by
successful delivery of information or goods. We show that global navigability
can emerge, but its complete breakdown is possible as well. Furthermore, we
show that the system tends to self-organize into local clusters of agents who
participate in the navigation. This organizational principle can be exploited
to favor the emergence of global navigability in the system.Comment: Supplementary Information and Videos:
https://koljakleineberg.wordpress.com/2016/11/14/collective-navigation-of-complex-networks-participatory-greedy-routing
A branch and bound approach for the design of decentralized supervisors in Petri net models
The paper addresses the design of compact and maximally permissive decentralized supervisors for Petri nets, based on generalized mutual exclusion constraints. Decentralization constraints are formulated with respect to the net transitions, instructing each local supervisor to detect and disable transitions of its own control site only. A solution is characterized in terms of the states it allows and its feasibility is assessed by means of two separate tests, one checking the required behavioral properties (e.g., liveness, reversibility and controllability) of the induced reachability subgraph and the other ensuring the existence of a decentralized supervisor enforcing exactly the considered set of allowed states. The second test employs an integer linear programming formulation. Maximal permissivity is ensured by efficiently exploring the solution space using a branch and bound method that operates on the reachable states.
Particular emphasis is posed on the obtainment of the controllability property, both in the structural and the behavioral interpretation
Approximating Mexican highways with slime mould
Plasmodium of Physarum polycephalum is a single cell visible by unaided eye.
During its foraging behavior the cell spans spatially distributed sources of
nutrients with a protoplasmic network. Geometrical structure of the
protoplasmic networks allows the plasmodium to optimize transport of nutrients
between remote parts of its body. Assuming major Mexican cities are sources of
nutrients how much structure of Physarum protoplasmic network correspond to
structure of Mexican Federal highway network? To find an answer undertook a
series of laboratory experiments with living Physarum polycephalum. We
represent geographical locations of major cities by oat flakes, place a piece
of plasmodium in Mexico city area, record the plasmodium's foraging behavior
and extract topology of nutrient transport networks. Results of our experiments
show that the protoplasmic network formed by Physarum is isomorphic, subject to
limitations imposed, to a network of principle highways. Ideas and results of
the paper may contribute towards future developments in bio-inspired road
planning
Discrete events: Perspectives from system theory
Systems Theory;differentiaal/ integraal-vergelijkingen
- …