Reference:

Javier Esparza and Jörg Desel. Negotiation programs. In PETRI NETS 2015, pages 157–178, 2015.

Suggested BibTeX entry:

@inproceedings{DBLP:confapnEsparzaD15,
    author = {Javier Esparza and J{\"{o}}rg Desel},
    booktitle = {{PETRI} {NETS} 2015},
    pages = {157--178},
    title = {Negotiation Programs},
    year = {2015}
}