Towards modeling and simulating a multi-party negotiation protocol with colored Petri nets

E. Bacarin, W.M.P. Aalst, van der, E.R.M. Madeira, C.B. Medeiros

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

E-contracting, i.e., establishing and enacting electronic contracts, has become important because of technological advances (e.g., the availability of web services) and more open markets. However, the establishment of an e-contract is complicated and error prone. There are multiple negotiation styles ranging from auctions to bilateral bargaining. This paper provides an approach for modeling multi-party negotiation protocols in colored Petri nets. It is shown how different negotiation styles can be modeled in a unified and consistent way. Moreover, CPN Tools is used to analyze the resulting colored Petri nets. Simulation can be used for both validation and performance analysis, while state-space analysis can be used to discover anomalies in various multi-part negotiation protocols.
Originele taal-2Engels
TitelProceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark
RedacteurenK. Jensen
Plaats van productieAarhus
UitgeverijDepartment of Computer Science
Pagina's29-48
StatusGepubliceerd - 2007
Evenement8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark - Aarhus, Denemarken
Duur: 22 okt 200724 okt 2007
http://daimi.au.dk/CPnets/proxy.php?url=/CPnets/workshop07/index

Workshop

Workshop8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark
Verkorte titelCPN '07
Land/RegioDenemarken
StadAarhus
Periode22/10/0724/10/07
AnderCPN'07 Workshop and tutorial on practical use of colored petri nets and the CPN tools
Internet adres

Vingerafdruk

Duik in de onderzoeksthema's van 'Towards modeling and simulating a multi-party negotiation protocol with colored Petri nets'. Samen vormen ze een unieke vingerafdruk.

Citeer dit