• Corpus ID: 7489430

Petri Net Based Software Validation Prospects and Limitations

  title={Petri Net Based Software Validation Prospects and Limitations},
  author={Monika Heiner},
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… 

Petri Net Based Software Dependability Engineering

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

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

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

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

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

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

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.


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

  • Sibylle PeukerI. Hayes
  • 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.



On the Problem of Time in Nets

  • H. Godbersen
  • 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.

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

  • Y. Souissi
  • 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.

Petri nets: Properties, analysis and applications

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

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.

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

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

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.