The analysis of distributed systems by means of predicate/transition-nets

Genrich, Hartmann J.; Lautenbach, Kurt

doi:10.1007/bfb0022467

Cited by 84 publications

(24 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…While they are close to the general PrT model they are particularly tailored to modeling and analyzing distributed administrative procedures subject to constraints as specified through predicate logic formulas. Like for PrT Nets automated formal analysis tools can be implemented, based either on reachability analysis (such as for real-time Petri Nets that work well for nets with thousands of transactions) or on (algebraic) invariant methods [Genrich and Lautenbach 1979]. The latter operate on the net level for automatically checking fairness properties and others.…”

Section: Related Workmentioning

confidence: 99%

“…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].…”

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%

Section: Related Workmentioning

confidence: 99%

Modular authorization and administration

Wedde

Lischka

2004

ACM Trans. Inf. Syst. Secur.

View full text Add to dashboard Cite

show abstract

“…Research was done to raise the level of abstraction of Petri Nets. Genrich and Lautenbach [1979] developed Predicate Transition Nets which extended the range of application of the Petri Net construct. Predicate Transition Nets also maintain a close relationship to lower level nets.…”

Section: Executable Modeling Languagesmentioning

confidence: 99%

“…One such analysis is the identification of invariants of the graph. Farkas [1902], Genrich and Lautenbach [1979] and Hillion [1986] offer algorithms for identifying the invariants of a PN graph. This methodology uses the Farkas algorithm and concepts developed by Hillion to analyze the graphs that represent the executable models created by this methodology.…”

Section: Executable Modeling Languagesmentioning

confidence: 99%

Design of Adaptive Organizations for Effects Based Operations

Levis¹,

Wagenhals²,

Liles³

2009

View full text Add to dashboard Cite

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden to Washington Headquarters Service, Directorate for Information Operations and Reports 1215 Jefferson Davis Highway. Suite 1204, Arlington, VA 22202-4302, and to the Office of Management and Budget. Paperwork Reduction Project (0704-0188) Washington, DC 20503 PLEASE DO NOT RETURN YOUR FORM TO THE ABOVE ADDRESS. 1. REPORT DATE (DD-MM-YYYY)4 April 20 (From -To) SAL/FR-09-01 REPORT TYPE Final Technical Report DATES COVERED SPONSORING/MONITORING AGENCY NAME(S) AND ADDRESS(ES)OFFICE OF NAVAL RESEARCH 875 N. RANDOLPH ST. ONE LIBERTY CENTER ARLINGTON VA 22203-1995 SPONSOR/MONITOR'S ACRONYM(S) SPONSORING/MONITORING AGENCY REPORT NUMBER DISTRIBUTION AVAILABILITY STATEMENT Unclassified Unlimited SUPPLEMENTARY NOTES ABSTRACTResults from several basic research tasks are reported. In order to respond to operations other than conventional major theater war, organizational designs that enable adaptation to to changing situations are needed. In order to enable such adaptation, the supporting physical system of systems must also be adaptable and agile. Measures for assessing the adaptivity and agility of systems of systems that support the command and control functions were developed and a methodology based on executable models of architectures was designed and applied to a naval example. A second thread re-examined organization design algorithms to enhance them so that they can address cultural differences in coalition operations. A third thread used Timed Influence nets to develop and evaluate Courses of Action that would result in achieving desired effects. Model Driven Experimentaion was used to develop and assess measures for evaluating the extent of to which effecst based planning resulted in achieving the desired effects. Comparison 83 84 S4 g 6 1 g.6.2. g 6.3. g-6.4. g-6.5. g .6.6. g-6.7. g-6.8. g.6.9. g-6.10 g. 6.11 B-6.12 g 6.13 g-6.14 g.6.15 g 6.16 g. 6.17 g-6.18 SUBJECT TERMS LIST OF FIGURESSystem of Systems [Brown, 2005] Fig Fig. Fig Fig. Fig .13 Fig Fig FigFig. 7 2^7 -2 7 . 728 7.29. 7.30. Table 6.3 Table 6.4. Table 6.5. Table 6.6. Table 6.7. Table 6.8. Table 6.9. Table 6.10 Table 6.11 Table 6.12 Table 6.13 Table 6.14 Table 6.15 Table 6.16 Table 7 4. Table 7 5 Table 7 6 Table 7 n Table 7 s. Table 7 9 Table 7 10 Table 7 11 Table 7 12 Table 7 13 Table 7 14 Table 7 15 Table 7 16 Table 7 17 (A2C2) program and constitutes a major extension of that work in several ways: it addresses the changes that have been initiated by DoD in the design of architectures that now require the inclusion of services as a key enabler for net centric operations; it introduces a set of metric...

show abstract

“…There is a large quantity of literature available on Petri nets with individual tokens. Different variants have evolved, namely colored Petri nets [4], [5], algebraic highlevel nets [6] and Predicate/Transition nets [7].…”

Section: Introductionmentioning

confidence: 99%

Model-based performance engineering of General Motors’ vehicle supply chain

Zimmermann

Knoke

Yee³

et al. 2007

2007 IEEE International Conference on Systems, Man and Cybernetics

View full text Add to dashboard Cite

We present results of a collaboration project, during which parts of General Motors' north American vehicle supply chain have been modeled and evaluated. A variant of colored stochastic Petri nets has been developed for this task, and support for model creation and performance evaluation was implemented in our tool TimeNET. Variations of the model and their stepwise evaluation lead to suggestions about how the supply chain can be reorganized in order to improve the time between customer order and vehicle delivery (order-to-delivery time).

show abstract

The analysis of distributed systems by means of predicate/transition-nets

Cited by 84 publications

References 1 publication

Modular authorization and administration

Modular authorization and administration

Design of Adaptive Organizations for Effects Based Operations

Model-based performance engineering of General Motors’ vehicle supply chain

Contact Info

Product

Resources

About

The analysis of distributed systems by means of predicate/transition-nets

Cited by 84 publications

References 1 publication

Modular authorization and administration

Modular authorization and administration

Design of Adaptive Organizations for Effects Based Operations

Model-based performance engineering of General Motors&#x2019; vehicle supply chain

Contact Info

Product

Resources

About

Model-based performance engineering of General Motors’ vehicle supply chain