Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets. >

/pdf/petri-nets-properties-analysis-and-applications-43jwyjdxr0.pdf

Petri nets: Properties, analysis and applications

We present a logic for stating properties such as, "after a request for service there is at least a 98\045 probability that the service will be carried out within 2 seconds". The logic extends the temporal logic CTL by Emerson, Clarke and Sistla with time and probabil- ities. Formulas are interpreted over discrete time Markov chains. We give algorithms for checking that a given Markov chain satis- fies a formula in the logic. The algorithms require a polynomial number of arithmetic operations, in size of both the formula and\003This research report is a revised and extended version of a paper that has appeared under the title "A Framework for Reasoning about Time and Reliability" in the Proceeding of the 10thIEEE Real-time Systems Symposium, Santa Monica CA, December 1989. This work was partially supported by the Swedish Board for Technical Development (STU) as part of Esprit BRA Project SPEC, and by the Swedish Telecommunication Administration.1the Markov chain. A simple example is included to illustrate the algorithms.

/pdf/a-logic-for-reasoning-about-time-and-reability-mtiha3bb6l.pdf

A logic for reasoning about time and reability

This book proposes a unified mathematical treatment of a class of 'linear' discrete event systems, which contains important subclasses of Petri nets and queuing networks with synchronization constraints. The linearity has to be understood with respect to nonstandard algebraic structures, e.g. the 'max-plus algebra'. A calculus is developed based on such structures, which is followed by tools for computing the time behaviour to such systems. This algebraic vision lays the foundation of a bona fide 'discrete event system theory', which is shown to parallel the classical linear system theory in several ways.

/pdf/synchronization-and-linearity-an-algebra-for-discrete-event-3s17joo73h.pdf

Synchronization and Linearity: An Algebra for Discrete Event Systems

Generalized stochastic Petri nets (GSPNs) are presented and are applied to the performance evaluation of multiprocessor systems. GSPNs are derived from standard Petri nets by partitioning the set of transitions into two subsets comprising timed and immediate transitions. An exponentially distributed random firing time is associated with each timed transition, whereas immediate transitions fire in zero time. It is shown that GSPN are equivalent to continuous-time stochastic processes, and solution methods for the derivation of the steady state probability distribution are presented. Examples of application of gspn models to the performance evaluation of multiprocessor systems show the usefulness and the effectiveness of this modeling tool. 15 references.

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

1. Introduction 2. Background 3. Performance evaluation process algebra 4. Modelling study: multi-server multi-queue systems 5. Notions of equivalence 6. Isomorphism and weak isomorphism 7. Strong bisimilarity 8. Strong equivalence 9. Conclusions Bibliography Index.

/pdf/a-compositional-approach-to-performance-modelling-4ybheka1a7.pdf

A Compositional Approach to Performance Modelling

An isomorphism between the behavior of Petri nets with exponentially distributed transition rates and Markov processes is presented. In particular, k-bounded Petri nets are isomorphic to finite Markov processes and can be solved by standard techniques if k is not too large. As a practical example, we solve for the steady state average message delay and throughput on a communication link when the alternating bit protocol is used for error recovery.

Molloy

Papers

Performance Analysis Using Stochastic Petri Nets