ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/sacmat2004.pdf
Participant BParticipant A
K= A=
K= C=
A=
C={ , } K= A=
C= Agreed
(A,K,C)
Proposal from A
Init
(A,K,C) (A,K,C) Proposal from B(A,K,C) (A,K,C)
(A,K,C)(A,K,C) (A,K,C) (A,K,C)
, ,
( , ,
EG1536 EKE BF( [...] ion Net is a quadruple (N, FS, L, M0), where N = (S, T, F ) is a directed net, FS a set of formulas over O and L a labeling of the arcs in F and M0 is the initial marking for the Adm Net.
A more extended [...] s, for a particular subject w.r.t. her or his membership in a unit. Consequently, every access right will be specified to apply to a pair (〈role〉, 〈unit〉), and subjects are assigned a role in a unit. This …