Analyzing program solutions of coordination problems by cp-nets

Schiffers, Michael; Wedde, Horst F.

doi:10.1007/3-540-08921-7_94

Cited by 9 publications

(10 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a particular effort to obtain a general high-level tool, Predicate/Transition Nets (PrTNets) had been defined by Genrich and Lautenbach [1979], including ideas for a thorough algebraic analysis of such nets. There was a precursor model studied by Schiffers and Wedde, which is called Colored Petri Nets (CP-Nets) [Schiffers and Wedde 1978]. Among the huge amount of research much emphasis was, for example, laid on features like inhibitor arcs (see Valk [1983]), for modeling legal processes, and timed transitions [see Ghezzi et al 1991], for real-time applications.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Modular authorization and administration

Wedde

Lischka

2004

ACM Trans. Inf. Syst. Secur.

View full text Add to dashboard Cite

In large organizations the administration of access privileges (such as the assignment of access rights to a user in a particular role) is handled cooperatively through distributed administrators in various different capacities. A quorum may be necessary, or a veto may be possible for such a decision. In this paper, we present two major contributions: We develop a role-based access control (RBAC) approach for specifying distributed administration requirements, and procedures between administrators, or administration teams, extending earlier work on distributed (modular) authorization. While a comprehensive specification in such a language is conceivable it would be quite tedious to evaluate, or analyze, their operational aspects and properties in practice. For this reason we create a new class of extended Petri Nets called Administration Nets (Adm-Nets) such that any RBAC specification of (cooperative) administration requirements (given in terms of predicate logic formulas) can be embedded into an Adm-Net. This net behaves within the constraints specified by the logical formulas, and at the same time, it explicitly exhibits all needed operational details such as allowing for an efficient and comprehensive formal analysis of administrative behavior. We introduce the new concepts and illustrate their use in several examples. While Adm-Nets are much more refined and (behaviorally) explicit than workflow systems our work provides for a constructive step towards novel workflow management tools as well. We demonstrate the usefulness of AdmNets by modeling typical examples of administration processes concerned with sets of distributed authorization rules.

show abstract

Section: Related Workmentioning

confidence: 99%

“…We will now define a new class of Petri Nets, which are an extension of PrT-Nets [Genrich and Lautenbach 1979], including inhibitor arcs [Valk 1983], coupling of token streams [Schiffers and Wedde 1978], and time constraints [Ghezzi et al 1991]. …”

Section: Adm-net and Synchronizationmentioning

confidence: 99%

Modular authorization and administration

Wedde

Lischka

2004

ACM Trans. Inf. Syst. Secur.

View full text Add to dashboard Cite

show abstract

“…Inhibitor Arc Activator Arc [20]. A set (P~, Pro) is called a stream through a transition t, where P~ is the set of all input places to t and Pm is the set of all output places from t. The stream through t covers all places that are incident to t. Token streams through a transition from one specific place to another specific place.…”

Section: Petri Net Modifications and Extensionsmentioning

confidence: 99%

“…(5) Two tool areas (10), (20) will be accessed from robots (7), (8) and (18) when a gripper change is necessary. The vision system will provide information about the object shape for best gripper configuration for proper handling.…”

Section: Configuration and Features Of The Proposed Systemmentioning

confidence: 99%

“…Watson and Desrochers [51] have applied generalized stochastic Petri nets to manufacturing systems with nonexponential transition firings. Other similar and/or related work as well as attempts to build structurally well behaved Petri nets using colored Petri nets and predicate transition nets have already appeared in the literature [19][20][21][22][23][24][25]. Moreover, Petri nets have been used to model nondeterminism, conflicts, timing information and resource sharing in dynamic systems [3,[41][42][43].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system

Valavanis

Ramaswamy

Landry

1994

J Intell Robot Syst

View full text Add to dashboard Cite

Abstract. This paper describes, models, analyzes and simulates an intelligent materials handling system with diagnostic intelligence capabilities using Extended Petri Nets (EPNs). The important modeled system properties of safeness, liveness and reversibility, which guarantee that the system operates in a stable, deadlock free and cyclic manner are verified and illustrated through the simulation results, obtained through an EPN based software package. A real system, the USL CIM system, modified to function as an intelligent materials handling system with on-line adaptation capabilities is used as a case study.

show abstract

Generalizations of Petri nets

Valk

1981

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Analyzing program solutions of coordination problems by cp-nets

Cited by 9 publications

References 4 publications

Modular authorization and administration

Modular authorization and administration

Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system

Generalizations of Petri nets

Contact Info

Product

Resources

About