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 language | English |
---|---|
Title of host publication | Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark |
Editors | K. Jensen |
Place of Publication | Aarhus |
Publisher | Department of Computer Science |
Pages | 29-48 |
Publication status | Published - 2007 |
Event | 8th 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 2007 → 24 Oct 2007 http://daimi.au.dk/CPnets/proxy.php?url=/CPnets/workshop07/index |
Workshop
Workshop | 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark |
---|---|
Abbreviated title | CPN '07 |
Country/Territory | Denmark |
City | Aarhus |
Period | 22/10/07 → 24/10/07 |
Internet address |