Sciweavers

325 search results - page 37 / 65
» Controlling Petri Net Process Models
Sort
View
122
Voted
ECEASST
2008
112views more  ECEASST 2008»
15 years 2 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
WOSP
2000
ACM
15 years 6 months ago
Quantitative system evaluation with DSPNexpress 2000
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
Christoph Lindemann, Axel Thümmler, Alexander...
IJSEKE
2008
103views more  IJSEKE 2008»
15 years 2 months ago
A Modeling Methodology for Conflict Control in Multi-Agent Systems
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
Jiexin Lian, Sol M. Shatz
ZEUS
2010
200views Communications» more  ZEUS 2010»
15 years 3 months ago
Mapping interconnection choreography models to interaction choreography models
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
Oliver Kopp, Frank Leymann, Fei Wu 0002
APCCM
2009
15 years 3 months ago
Synthesis of Orchestrators from Service Choreographies
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
Stephen McIlvenna, Marlon Dumas, Moe Thandar Wynn