Discrete event system,   Supervisory control,   Petri Net, Constraint   This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...

Implementation of complex, real-world systems is usually preceded by extensive studies of their formal models. For systems which exhibit concurrent activities, Petri nets are a popular choice of modeling formalism, because of their ability to express concurrency, synchronization, precedence constraints and nondeterminism. Moreover, Petri nets “with time” (stochastic or timed) include the durati...

Stochastic methods are commonly used for dependability evaluation. In the mid 1970’s, stochastic evaluation was proposed for combined performance/dependability evaluation, called performability evaluation. Extending reliability evaluation to include performance related behaviors presented new challenges, most notably due to the large difference in time scale of performanceand dependability-rela...

In this paper we introduce a new class of stochastic Petri nets in which one or more places can hold uid rather than discrete tokens. We deene a class of uid stochastic Petri nets in such a way that the discrete and continuous portions may aaect each other. Following this deenition we provide equations for their transient and steady-state behavior. We present several examples showing the utilit...

Client–server processing is a popular paradigm for distributed computing. In the development of client–server programs, the designer has first to ensure that the implementation behaves correctly, in particular that it is deadlock free. Second, he has to guarantee that the program meets predefined performance requirements. This paper addresses the issues in the analysis of client–server programs...

Emergency response plays an important role in reducing the loss of an accident. And the excellent plan is important to ensure the high efficiency of the emergency response system. However, actions of emergency response arranged in emergency plan can hardly be assessed before the plan is used. Stochastic Petri Net (SPN) is proposed to analyze the performance of emergency response for oil and gas...

In this paper we describe how the completion time distribution for short TCP connections can be computed using Deterministic Stochastic Petri Net (DSPN) models of TCP protocol. A DSPN model of TCP is a representation of the finite state machine description of the TCP transmitter behavior, and provides an accurate description of the TCP dynamics. The DSPN requires as input only the packet loss p...

Biotechnological improvements over the last decade has made it economically and technologically feasible to collect large DNA sequence data from many closely related species. This enables us to study the detailed evolutionary history of recent speciation and demographics. Sophisticated statistical methods are needed, however, to extract the information that DNA sequences hold, and a limiting fa...

Analysis of Markov reward models with stochastic Petri nets is presented. Generation methods and analysis of continuous-time Markov chains and Markov reward models is provided for modeling of reliability of very large systems and working out measures for their performance. Examples and numerical results for M/D/1/2/2 system are shown.

This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of the values of the transition rates. These nets where algebraically characterized by Haddad et al. as SΠ nets. By providing an intuitive interpr...