Negotiations and Petri nets

DOI10.1007/978-3-662-53401-4_10MaRDI QIDQ5268429zbMATH OpenOpenAlexFDO

Authors Jörg Desel, Javier Esparza

Publication date 20 June 2017

Published in Transactions on Petri Nets and Other Models of Concurrency XI (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-53401-4_10

zbMATH Keywords

Petri netssoundnessnegotiationsfree-choice nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Negotiation programs
• Soundness in negotiations
• On negotiation as concurrency primitive. II: Deterministic cyclic negotiations

Cites work

• scientific article; zbMATH DE number 1956578 (Why is no real title available?)
• Free Choice Petri Nets
• Lectures on Concurrency and Petri Nets
• Negotiation programs

Cited in

(3)

• A role-based access control Petri net and a negotiation tree model
• Soundness in negotiations
• A local-time semantics for negotiations

This page was built for publication: Negotiations and Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5268429)