Sciweavers

941 search results - page 133 / 189
» Petri Nets Are Dioids
Sort
View
JWSR
2007
183views more  JWSR 2007»
14 years 11 months ago
Behaviour-Aware Discovery of Web Service Compositions
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...
Antonio Brogi, Sara Corfini
ADC
2005
Springer
104views Database» more  ADC 2005»
15 years 5 months ago
Dynamic Restructuring of Recovery Nets
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
Rachid Hamadi, Boualem Benatallah
MASCOTS
2003
15 years 1 months ago
PEPA Nets
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
Stephen Gilmore, Jane Hillston, Leïla Kloul
BPM
2003
Springer
92views Business» more  BPM 2003»
15 years 3 months ago
Query Nets: Interacting Workflow Modules That Ensure Global Termination
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
Rob J. van Glabbeek, David G. Stork
ECEASST
2008
112views more  ECEASST 2008»
14 years 12 months ago
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg