ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/sacmat2004.pdf
Administration 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 [...] granted trust level t ∈ T LT if all predicates Li ∈ {F ∪ CFH} hold (for given n and L1, · · · , Ln; 0 ≤ i ≤ n).
As the authorization team of an authorization sphere may rely on the ranking of another team [...] level t ∈ T LT if all predicates Li ∈ {F ∪ CFH ∪ host level} hold (for given n and L1, · · · , Ln; 0 ≤ i ≤ n).
As an example the following rule states that authorization sphere “crypto” ranks a host as …