# Petri Net Based Software Validation Prospects and Limitations

@inproceedings{Heiner2004PetriNB, title={Petri Net Based Software Validation Prospects and Limitations}, author={Monika Heiner}, year={2004} }

Petri net based software validation to check the synchronization structure against some data or control flow anomalies (like unboundedness or non-liveness) has been a well-known and widely used approach for about ten years. To decrease the complexity problem and because the simpler the model, the more efficient the analysis, the validation is usually tried with the help of place transition Petri nets. However, the modelling with this Petri net class involves two important abstractions of actual…

## Figures from this paper

## 9 Citations

### Petri Net Based Software Dependability Engineering

- Computer Science
- 2004

The approach to integrate different methods on a common representation is extended by a formal method to derive Petri net models suitable for a structureoriented reliability prediction.

### Pure Petri Nets for Software Verification and Validation of Semantic Web Services in Graphical Worlds

- Computer Science
- 2010

A Mathematica package developed by the author for a class of Petri nets, which is applied to address the SVV problem in the context of graphical semantic web services based on virtual agents evolving in digital 3D worlds is described.

### Deciding a class of path formulas for conflict-free petri nets

- Computer ScienceTheory of Computing Systems
- 2007

The aim of this paper is to develop a unified approach for deriving complexity results for problems concerning conflict-free Petri nets. To do so, we first define a class of formulas for paths in…

### Petri Nets for Systems Engineering

- ArtSpringer Berlin Heidelberg
- 2003

In this book abstraction is used to create larger nets from smaller ones, and this kind of abstraction will be represented graphically as shown in Figure 2.13c.

### Formal Methods for Open Object-Based Distributed Systems

- Computer ScienceLecture Notes in Computer Science
- 2003

Invited Talk.- Java's Integral Types in PVS.- Models.- Towards Object-Oriented Graphs and Grammars.- A Rewriting Based Model for Probabilistic Distributed Object Systems.- Engineering the SDL Formal…

### Modeling Multithreaded Applications Using Petri Nets

- Computer ScienceInternational Journal of Parallel Programming
- 2004

A tool called C2Petri has been developed which converts C-Pthreads programs to the equivalent Petri net model and helps verification of Pthread-based programs.

### Software Verification and Validation of Graphical Web Services in Digital 3D Worlds

- Computer ScienceFGIT-FGCN
- 2009

A Mathematica package developed by the author for a class of Petri nets is applied to address the SVV problem in the context of graphical semantic web services based on virtual agents evolving in digital 3D worlds.

### eCGE: A MULTI-PLATFORM PETRI NET EDITOR

- Computer Science
- 2005

This thesis describes the design and application of the enhanced Petri Net Graphical Editor (eCGE) application, which implements the core features of a Stochastic Petri net modeling tool and is implemented in Java for portability.

### Reasoning about deadlines in concurrent real-time programs

- Computer ScienceProceedings International Parallel and Distributed Processing Symposium
- 2003

This work proposes a method for the timing analysis of concurrent real-time programs with hard deadlines and succeeds in the sense that the machine-dependent phase remains the same as in the analysis of sequential programs.

## References

SHOWING 1-10 OF 162 REFERENCES

### On the Problem of Time in Nets

- Computer ScienceSelected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
- 1981

This work uses Timed Petri Nets (TPN) in its general modelling tool for sociotechnical systems, called Function Nets, and discusses the influence of timing to basic net-properties.

### Deterministic Systems of Sequential Processes: a class of structured Petri nets

- Computer ScienceApplications and Theory of Petri Nets
- 1991

This work defines deterministic systems of sequential processes (DSSP), a class of Petri nets which generalizes the one introduced by Wolfgang Reisig in 1979 and gives several rules for building, in a bottom-up and modular way, a live DSSP.

### Petri nets: Properties, analysis and applications

- Computer ScienceProc. IEEE
- 1989

The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.

### The use of Petri nets to analyze coherent fault trees

- Computer Science
- 1988

The use of Petri nets to represent fault trees is discussed and a more general and useful method to study the dynamic behavior of the model at various levels of abstraction is examined.

### Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models

- Computer ScienceComput. Networks
- 1982

### A Petri net approach to the evaluation of the complexity of a program

- Computer Science
- 1981

The complexity evaluation of a program utilizing the reachability concept of a Petri net (PN) and a PN representation of a particular program is given, which does not require matrix multiplication.

### Design of reliable software in distributed systems using the conversation scheme

- Computer ScienceIEEE Transactions on Software Engineering
- 1986

A method is proposed which uses a Petri net model to formally identify both the state and the state reachability tree of a distributed system, which are used to define systematically the boundaries of a conversation.

### Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools

- Computer ScienceComput. Networks
- 1984