Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism

No abstract is available for this paper.

• Publication year

  1985

• Venue

  IEEE Transactions on Software Engineering

• Publication date

  1985-10-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/TSE.1985.231870
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Concurrency Control in Distributed Database Systems

  1986cited by this paper
• The modeling and analysis of distributed database concurrency control mechanisms

  1983cited by this paper
• Basic Timestamp, Multiple Version Timestamp, and Two-Phase Locking

  1983cited by this paper
• Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism

  1982cited by this paper
• Petri Net Theory and the Modeling of Systems

  1982cited by this paper
• A Survey of Concurrency Control Mechanisms for Centralized and Distributed Databases.

  1981cited by this paper
• Performance Analysis of Update Synchronization Algorithms for Distributed Databases

  1981cited by this paper
• Performance analysis of distributed database systems

  1980cited by this paper
• Timed Petri nets and preliminary performance evaluation

  1980cited by this paper
• A Distributed Control Algorithm for Reliably and Consistently Updating Replicated Databases

  1980cited by this paper
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

  1980cited by this paper
• Performance of update algorithms for replicated data in a distributed database

  1979influential reference
• Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems

  1979cited by this paper
• The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets

  1979cited by this paper
• Use of Petri nets for performance evaluation

  1977cited by this paper
• Consistency and correctness of duplicate database systems

  1977cited by this paper
• The formulation and application of evaluation nets

  1972cited by this paper
• The Effects of Concurrency Control on Database Management System Performance

  1970cited by this paper
• Kommunikation mit Automaten

  1962cited by this paper

• Modeling Timestamp Ordering Method Using Colored Petri Net

  2015cites this paper
• A Locking Mechanism for Distributed Database Systems

  2014cites this paper
• Analyzing Stability of Algorithmic Systems Using Algebraic Constructs

  2013influential citation
• Modeling and Verification of Deadlock Potentials of a Concurrency Control Mechanism in Distributed Databases Using Hierarchical Colored Petri Net

  2012cites this paper
• GA optimization of Petri net-modeled concurrent service systems

  2011cites this paper
• Symbolic planning for heterogeneous robotsthrough composition of their motiondescription languages

  2009cites this paper
• ISSUES IN MODELING LOCKING PERFORMANCE

  2009cites this paper
• A Graphical Language for Batch Control

  1999cites this paper
• On the Use of High-Level Petri Nets in the Modeling of Biological Neural Networks

  1998cites this paper
• Distributed Simulation of Timed Petri Nets: Basic Problems and their Resolution

  1994cites this paper
• Modeling the design process with Petri nets

  1993cites this paper
• Petri net tools for analysis and verification of task scheduling algorithm in real time distributed process control system

  1993cites this paper
• The effect of resource contention on distributed database systems

  1993cites this paper
• Effects of network protocols on distributed concurrency control algorithm performance

  1992cites this paper
• Conflict detection tradeoffs for replicated data

  1991cites this paper
• An Optimistic Locking Technique For Concurrency Control in Distributed Databases

  1991cites this paper
• Timed Petri nets definitions, properties, and applications

  1991cites this paper
• Concurrency control in distributed databases through dummy locks

  1990cites this paper
• An approach towards distributed simulation of timed Petri nets

  1990cites this paper
• Integral: Petri-net approach to distributed software development

  1989cites this paper
• An analysis of the effect of multiversions on the performance of timestamp algorithms

  1989cites this paper
• Petri nets: Properties, analysis and applications

  1989cites this paper
• Parallelism and concurrency control performance in distributed database machines

  1989cites this paper
• Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks

  1989cites this paper
• Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries

  1988cites this paper
• Structural analysis of t-invariance of petri nets

  1988cites this paper
• INTEGRAL-an integrated framework for distributed software validation and verification

  1988cites this paper
• Distributed Concurrency Control Performance: A Study of Algorithms, Distribution, and Replication

  1988cites this paper
• The PARSE Programming Paradigm. Part I: Software Development Methodology. Part II: Software Development Support Tools

  1987cites this paper
• Performance comparison of resilient concurrency control algorithms for distributed databases

  1986cites this paper
• Modeling a Concurrency Control Mechanism in Distributed Databases using Hierarchical Colored Petri Net

  year unknowninfluential citation