# Petri Net Based Software Validation Prospects and Limitations

@inproceedings{Heiner2004PetriNB, title={Petri Net Based Software Validation Prospects and Limitations}, author={M. 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… Expand

#### Figures and Topics 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. Expand

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. Expand

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

- Mathematics
- Theory 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… Expand

Petri Nets for Systems Engineering

- Computer Science
- Springer 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. Expand

Formal Methods for Open Object-Based Distributed Systems

- Computer Science
- Lecture 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… Expand

Modeling Multithreaded Applications Using Petri Nets

- Computer Science
- International 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. Expand

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

- Computer Science
- FGIT-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. Expand

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. Expand

Reasoning about deadlines in concurrent real-time programs

- Computer Science
- Proceedings 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. Expand

#### References

SHOWING 1-10 OF 159 REFERENCES

Modelling and Verification of Real-Time Software Using Interpreted Petri Nets

- Computer Science
- 1990

In this paper a method is presented for modelling and verification using interpreted Petri nets using an adapted Software Interpreted Net (SIN), which allows firstly the description of the software on a problem-oriented level and secondly the complete verification on the basis of Petri net theory. Expand

On the Problem of Time in Nets

- Computer Science
- Selected 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. Expand

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

- Computer Science
- Applications 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. Expand

Performance model of software systems using Petri nets

- Computer Science
- 1984

The present paper utilizes the concepts of Petri nets for the evaluation of various software parameters through a measure termed as “software measure”, which along with the firing characteristics of the transitions may then be used for obtaining the suitable testing methodology of a software. Expand

Petri nets: Properties, analysis and applications

- Computer Science
- 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. Expand

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. Expand

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

- Computer Science
- Comput. Networks
- 1982

The most important classes of nets are presented, their analysis possibilities are given and it is shown how they can be used to model and analyze communication and cooperation protocols. Expand

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

- Mathematics
- 1981

The complexity evaluation of a program utilizing the reachability concept of a Petri net (PN) is proposed. A PN representation of a particular program is also given. Three measures of complexity… Expand

Design of reliable software in distributed systems using the conversation scheme

- Computer Science
- IEEE 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. Expand

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

- Computer Science
- Comput. Networks
- 1984

A complex distributed mutual exclusion algorithm which was a part of a distributed system, Galaxie, studied by the CNET (French PTT) at Lannion, France is considered, which deals with failures and an unreliable environment and three methods of validation are experimented with. Expand