Scheduled System Maintenance
On Saturday, October 21, single article sales and account management will be unavailable until 6 PM ET.
Notice: There is currently an issue with the citation download feature. Learn more.

Proceedings 6th International Workshop on Petri Nets and Performance Models

3-6 Oct. 1995

Filter Results

Displaying Results 1 - 25 of 35
  • Proceedings 6th International Workshop on Petri Nets and Performance Models

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (146 KB)
    Freely Available from IEEE
  • Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets

    Publication Year: 1995, Page(s):113 - 122
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (893 KB)

    Recent literature on Markov regenerative stochastic Petri nets (MRSPN) assumes that the random firing time associated to each transition is resampled each time the transition fires or is disabled by the firing of a competitive transition. This modeling assumption does not cover the case of preemption mechanisms of repeat identical nature (PRI). In this policy, an interrupted job must be repeated w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Characterization of timed well-formed Petri nets behavior by means of occurrence equations

    Publication Year: 1995, Page(s):127 - 136
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1066 KB)

    So called "recursive equations" have been introduced by Baccelli et al. (1992) as a convenient way of characterizing the behavior of stochastic Petri net models in terms of transition firing instances and of creation and destruction times for tokens in places. Such equations have been used to prove model properties as well as to speed up simulation by parallel processing techniques in the case of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (51 KB)
    Freely Available from IEEE
  • Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth

    Publication Year: 1995, Page(s):221 - 230
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 KB)

    Stochastic Petri nets (SPNs) have emerged over the years as a favored approach for performance and dependability modeling and evaluation. Their usual utilization assumes that systems specification and design do not evolve, in opposition to real-life. This paper is aimed at a preliminary exploration of how to take advantage of the existing body of results on SPNs for modeling the evolution of compu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TiPNet: a graphical tool for timed Petri nets

    Publication Year: 1995, Page(s):212 - 213
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    The objective of this effort is to develop a computer tool for drawing, editing and simulating timed Petri nets using object oriented programming (OOP). The developed C++ based Timed Petri Net Simulation Tool, TiPNet, simulates discrete systems with both deterministic and stochastic transitions and immediate transitions. Net debugging and performance result tabulation are built-in. The XView Toolk... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparison of performance evaluation process algebra and generalized stochastic Petri nets

    Publication Year: 1995, Page(s):158 - 168
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1112 KB)

    Generalized stochastic Petri nets (GSPN) and performance evaluation process algebra (PEPA) can both be used to study qualitative and quantitative behaviour of systems in a single environment. The paper presents a comparison of the two formalisms in terms of the facilities that they provide to the modeller; considering both the definition and the analysis of the performance model. Our goal is to pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TOMSPIN-a Tool for Modelling with Stochastic Petri Nets

    Publication Year: 1995, Page(s):218 - 219
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (196 KB)

    The basic objective of TOMSPIN (Tool for Modelling with Stochastic Petri Nets) is to provide industrial users with a tool that can analyse fairly big systems using GSPN (Generalized Stochastic Petri Nets) models with some slight extensions. The front-end of TOMSPIN consists of a hierarchically structured net description language, with an optional graphical editor. After transforming the net into a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets

    Publication Year: 1995, Page(s):210 - 211
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (120 KB)

    Stochastic Petri nets are well suited for the model-based performance and dependability evaluation of complex systems. Most commonly, the firing times of the transitions are exponentially distributed, leading to an underlying continuous-time Markov chain. In order to increase the modeling power, several classes of non-Markovian SPNs were defined, in which the transitions may fire after a nonexpone... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stochastic Petri net semantics for stochastic process algebras

    Publication Year: 1995, Page(s):148 - 157
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (884 KB)

    We define a stochastic Petri net (SPN) semantics for stochastic process algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: concurrency and retrievability, as defined by Olderog (1987, 1991) for untimed net semantics, and Markov equivalence for the stochastic aspects View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Petri net model of a dynamically partitioned multiprocessor system

    Publication Year: 1995, Page(s):73 - 82
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (780 KB)

    A multiprocessor system can be subdivided into partitions of processors, each of which can be dedicated to the execution of a parallel program. The partitioning of the system, can be done statically at system configuration time, adaptively prior to the execution time, or dynamically during execution time. Since, in a dynamically partitioned multiprocessor system, partitioning can occur anytime dur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance evaluation of dynamic priority operating systems

    Publication Year: 1995, Page(s):241 - 250
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 KB)

    Operating systems which implement a dynamic priority mechanism are very common. Nevertheless, it is very difficult to develop an accurate analytical model to evaluate their performance, mainly due to the different forms of dependency between the various constituent parts. We introduce a black box modeling approach which allows us to identify and decompose the different functions of the operating s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • UltraSAN version 3 overview

    Publication Year: 1995, Page(s):216 - 217
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (188 KB)

    UltraSAN is a software package for model-based evaluation of systems represented as stochastic activity networks. The software has been implemented in a modular fashion, with clearly delineated interfaces between model specification, construction, and solution. UltraSAN offers an X Windows-based user interface and both analytical and simulation solution modules for transient and steady-state perfo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

    Publication Year: 1995, Page(s):180 - 190
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1056 KB)

    Stochastic Petri nets and extensions are a popular method for evaluating a wide variety of systems. In most cases, their numerical solution requires generating a state-level stochastic process, which captures the behavior of the SPN with respect to a set of specified performance measures. These measures are commonly defined at the net level by means of a reward variable. We discuss issues regardin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance optimization of event graphs modeling manufacturing systems

    Publication Year: 1995, Page(s):203 - 204
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (104 KB)

    The objective of the paper is to show that relatively complex manufacturing systems can be modeled as time event graphs and that significant optimization problems can be stated and solved using this representation. Particular attention is focused on the multi-objective optimization of the system throughput, and of a function weighting the work-in-progress along with the buffer space in finite buff... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stochastic modeling using DSPNexpress

    Publication Year: 1995, Page(s):208 - 209
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    This article outlines a graphical software package for performance and dependability modeling with deterministic and stochastic Petri nets (DSPNs). The package is called DSPNexpress because its main scientific contribution lies in its efficient numerical solution component. The development of DSPNexpress has been motivated by the lack of a software package for an efficient numerical analysis of De... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient simulation of SWN models

    Publication Year: 1995, Page(s):137 - 146
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (892 KB)

    Coloured Petri nets are a powerful formalism for the description of complex, asynchronous distributed systems. They can express in a very concise way the behaviour of very large system especially in case these systems are composed of many replications of a few basic components that individually behave in a similar way. The simulation of such models is however difficult to perform in a computationa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance and formal design: a process algebraic perspective

    Publication Year: 1995, Page(s):124 - 125
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB)

    So far, most research in the area of formal methods has been focussed on the development of theories, methods, and tools for the design and analysis of functional, or qualitative, aspects of information-processing systems. Performance analysis, on the other hand, has always been concerned with the quantitative analysis of such systems. As a result each community has been doing its research mostly ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches

    Publication Year: 1995, Page(s):103 - 112
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    We present and compare two different approaches for the transient solution of Markov regenerative stochastic Petri Nets: the method based on Markov regenerative theory and the method of supplementary variables. In both cases the equations that govern the marking process of the non-Markovian stochastic Petri net are presented and then solved either in time-domain or using a Laplace-Stieltjes transf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks

    Publication Year: 1995, Page(s):63 - 72
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1032 KB)

    Group-oriented multicast protocols that provide message ordering and delivery guarantees are becoming increasingly important in distributed system design. However, despite the large number of such protocols, little analytical work has been done concerning their performance, especially in the presence of message loss. This paper illustrates a method for determining the performability of group-orien... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Numerical analysis of stochastic marked graph nets

    Publication Year: 1995, Page(s):32 - 41
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (952 KB)

    The analysis of stochastic marked graphs is considered. The underlying idea is to decompose the marked graph into subnets, to generate state spaces and transition matrices for these isolated parts and then to represent the generator matrix underlying the complete net by means of much smaller subnet matrices combined via tensor operations. Based on this matrix representation, efficient numerical an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs

    Publication Year: 1995, Page(s):232 - 240
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    The work addresses the design of hardware interface controllers for microprocessor-based systems. Interface design is required during the system integration phase to interconnect components which may use different interfacing protocols. It is shown that both the component interfacing protocols and the interface design can be described using an interpreted timed Petri net. Traditionally verificatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The fluid stochastic Petri net simulator

    Publication Year: 1995, Page(s):214 - 215
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (172 KB)

    A Fluid Stochastic Petri Net (FSPN) extends a normal Petri net with the notion of fluid places, and fluid arcs. Fluid levels are continuous, and may be used to approximate the presence of many discrete tokens. We describe an FSPN simulation tool whose input description extends the syntax of the widely used tool spnp View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Giving a net semantics to Markovian process algebra

    Publication Year: 1995, Page(s):169 - 178
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (836 KB)

    We define two compositional net semantics for the stochastic process algebra Markovian process algebra (MPA), based on a class of stochastic Petri nets. The first semantics is operational in style and is defined by structural induction. We prove that both the functional and performance interleaving semantics are retrievable: given a process term E, the reachability graph and the Markov chain obtai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling a scalable high-speed interconnect with stochastic Petri nets

    Publication Year: 1995, Page(s):83 - 92
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    This paper presents an approach to using Stochastic Petri nets to model large-scale concurrent systems, in our case, a scalable computer interconnect. We show how Stochastic Petri net models can exploit the symmetry of the system to construct a tractable, but approximate, analytic model, and that they can yield results very close to those of a detailed simulation model, with much less computationa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.