957 search results - page 118 / 192 » Negotiations and Petri Nets |
APN
2006
Springer
15 years 3 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...
103
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
103
click to vote
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
119
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...