Detection of Ada Static Deadlocks Using Petri Net Invariants

No abstract is available for this paper.

• Publication year

  1989

• Venue

  IEEE Trans. Software Eng.

• Publication date

  1989-03-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/32.21759
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A petri net framework for automated static analysis of Ada tasking behavior

  1988cited by this paper
• Modeling and analysis of concurrent systems

  1987cited by this paper
• Modeling the Ada Task System by Petri Nets

  1985cited by this paper
• Steps to an Advanced Ada1Programming Environment

  1985cited by this paper
• Fundamentals of Data Structures in Pascal

  1984cited by this paper
• Ada : an advanced introduction including reference manual for the Ada programming language

  1984cited by this paper
• Monitoring for Deadlock and Blocking in Ada Tasking

  1984cited by this paper
• A general-purpose algorithm for analyzing concurrent programs

  1983cited by this paper
• The ADA programming language: Pyle, I C, Prentice-Hall International (1981) pp 293, £8.95

  1982cited by this paper
• Review of "The Ada programming language by Ian C. Pyle", Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981.

  1982cited by this paper
• A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net

  1980cited by this paper

• Designing, Modeling and Analysis of GALS Software Systems

  2023influential citation
• Language-Preserving Reduction Rules for Block-Structured Workflow Nets

  2022cites this paper
• Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

  2020cites this paper
• A Deadlock Prevention Policy for a Class of Multithreaded Software

  2020cites this paper
• Middleware and programming models for multi-robot systems. (Intergiciel et modèles de programmation pour les systèmes multi-robots)

  2018cites this paper
• Evaluate concurrent state machine of SysML model with Petri net

  2018cites this paper
• Robust Process Mining with Guarantees

  2017cites this paper
• Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure

  2017cites this paper
• Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets

  2016cites this paper
• A Petri-net based approach for software evolution

  2016cites this paper
• Deadlock control of multithreaded software based on Petri nets: A brief review

  2016cites this paper
• A Bibliography of Books and Other Publications about the Ada Programming Language and Its History

  2015cites this paper
• A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations

  2015cites this paper
• Ordinary Differential Equation-Based Deadlock Detection

  2014cites this paper
• Research on Computer Cluster Load Balancing Mechanism

  2014cites this paper
• Verifiable Design of a Satellite-based Train Control System with Petri Nets

  2014cites this paper
• Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets

  2013cites this paper
• Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

  2013cites this paper
• The Analysis and Verification of Cooperative Workflow Based Interactive Abstract Graph

  2013cites this paper
• Modeling, analysis, and control of a class of resource allocation systems arising in concurrent software

  2012cites this paper
• Algebraic analysis and criterion for blocking detection of multiprocess systems

  2012cites this paper
• Mondel: An Object-Oriented Specification Language

  2012cites this paper
• III . SOME GUIDELINES OF TRANSLATION FROM ADA TO ECATNET THROUGH AN EXAMPLE Most concepts of Ada translation to ECATNets are defined in [ 3 ]

  2012cites this paper
• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

  2012cites this paper
• Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets

  2010cites this paper
• Limitations of liveness in concurrent software systems

  2010cites this paper
• Concurrent program synthesis based on supervisory control

  2010cites this paper
• Colored timed Petri nets for modeling and analysis of cluser tools

  2010cites this paper
• Synthesis of Concurrent Programs Based on Supervisory Control

  2009cites this paper
• Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software

  2009cites this paper
• Petri nets and programming: A survey

  2009cites this paper
• Liveness Analysis of Parallel Program's Petri Net Models

  2009cites this paper
• SystemJ compilation using the tandem virtual machine approach

  2009cites this paper
• Planejamento aplicado à verificação de bloqueios em redes de Petri

  2008cites this paper
• Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications

  2008cites this paper
• Detection and Prevention of Communication Deadlock for Parallel Programs Based on Petri Net

  2008cites this paper
• TRANSACT 2008 D READLOCKS : Efficient Deadlock Detection for STM

  2008cites this paper
• Automatic Translation of Ada-ECATNet Using Rewriting Logic

  2008cites this paper
• Dreadlocks: efficient deadlock detection

  2008cites this paper
• Enforcing safety properties in web applications using petri nets

  2008cites this paper
• Double Reduction of Ada-ECATNet Representation using Rewriting Logic

  2008cites this paper
• A Realization and Verification of A Parallel Image Processing Controller by using An Extended Petri net

  2007cites this paper
• Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net

  2007cites this paper
• Dynamic Tasks Verification with Quasar

  2005cites this paper
• Extending Quasar with dynamic tasks computation

  2005cites this paper
• Set-based Analysis of Structured Workflow Definition

  2005cites this paper
• Static Detection of Deadlock for Java Libraries

  2005cites this paper
• PETRI NETS: A TUTORIAL

  2005cites this paper
• Error Detection of Structured Workflow Definition Using Set Constraint System

  2004cites this paper
• Diagnosability of automated production systems using Petri net based models

  2004cites this paper
• Modeling and generating context-aware agent-based applications with amended colored Petri nets

  2004cites this paper
• Verifying linear time temporal logic properties of concurrent Ada programs with quasar

  2004cites this paper
• Controller Design and Verification for a Parallel Image Processor in an FMS using and Extended Petri Net

  2004cites this paper
• The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor

  2004cites this paper
• Quasar: A New Tool for Concurrent Ada Programs Analysis

  2003cites this paper
• Reliable Software Technologies — Ada-Europe 2003

  2003cites this paper
• Modeling and Testing of PILOT Plans Interpretation Algorithms

  2003cites this paper
• Analysis and Verification of Local Properties of Ada Tasking Based on Net Language

  2002cites this paper
• Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles

  2002cites this paper
• A high reliability design for NFS server software based on the logical coloured Petri net

  2002cites this paper
• Toward efficient algorithms for generating compact Petri nets from labeled transition systems

  2002cites this paper
• Communication Deadlock Detection of Inter-organizational Workflow Definition

  2002cites this paper
• Behavior relativity of Petri nets

  2002cites this paper
• Ενοποιημένο τυπικό μοντέλο για την αναπαράσταση της λειτουργικότητας και την ανάλυση της χρονοδρομολογησιμότητας εφαρμογών πραγματικού...

  2001cites this paper
• A survey and a taxonomy of approaches for testing parallel and distributed programs

  2001cites this paper
• Solving resource contention problem in FMS using Petri nets and a rule-based approach

  2001cites this paper
• Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset

  2001cites this paper
• Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems

  2001cites this paper
• Using shape analysis to reduce finite-state models of concurrent Java programs

  2000cites this paper
• Resource-oriented Petri nets for deadlock avoidance in automated manufacturing

  2000cites this paper
• A petri net based deadlock detection for a class of parallel systems

  1999cites this paper
• Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model

  1999cites this paper
• Measuring attributes of concurrent software specifications in Petri nets

  1999cites this paper
• Petri net models of process synchronization mechanisms

  1999cites this paper
• Automatic Verification of Concurrent Ada Programs

  1999cites this paper
• Comparative study and categorization of high-level petri nets

  1998cites this paper
• A query language for automated general analysis of Concurrent Ada programs

  1998cites this paper
• Verification in concurrent programming with Petri nets structural techniques

  1998influential citation
• Static Analysis of Java Multithreaded and Distributed Applications

  1998cites this paper
• Performance Evaluation for Parallel Systems: A Survey

  1997cites this paper
• On generating a basis of invariants in Petri nets

  1997cites this paper
• Comparing the reliability provided by tasks or protected objects for implementing a resource allocation service: a case study

  1997cites this paper
• A methodology for developing resilient distributed control systems.

  1997cites this paper
• An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis

  1996cites this paper
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources

  1996cites this paper
• Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems

  1996cites this paper
• Evaluating Deadlock Detection Methods for Concurrent Software

  1996cites this paper
• A mixed approach for the formal correctness proof of distributed programs

  1996cites this paper
• Deadlock detection in a distributed implementation of a visualization system for medical measurement signals

  1996cites this paper
• Modelling and Analysis of Distributed Software Using GSPNs

  1996cites this paper
• A Petri Net Based System Modelling Tool with TEG Subsystem Model

  1995cites this paper
• System modelling with HyperNets

  1995cites this paper
• Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems

  1995cites this paper
• Query-driven petri net reduction for analysis in Ada tasking

  1995cites this paper
• Modeling and Validation of Tasks with Algebraic Structured Nets

  1995cites this paper
• Introduction to Petri Nets in Flexible and Agile Automation

  1995cites this paper
• Data flow analysis for verifying correctness properties of concurrent programs

  1995cites this paper
• A specification-based approach to concurrency analysis

  1995cites this paper
• Automated partial communication deadlock analysis after changes to Ada code

  1995cites this paper
• Deadlock Avoidance Policy for Flexible Manufacturing Systems

  1995cites this paper