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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark
EditorsK. Jensen
Place of PublicationAarhus
PublisherDepartment of Computer Science
Pages29-48
Publication statusPublished - 2007
Event8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark - Aarhus, Denmark
Duration: 22 Oct 200724 Oct 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
Abbreviated titleCPN '07
Country/TerritoryDenmark
CityAarhus
Period22/10/0724/10/07
Internet address

Fingerprint

Dive into the research topics of 'Towards modeling and simulating a multi-party negotiation protocol with colored Petri nets'. Together they form a unique fingerprint.

Cite this