Removing dead transitions in timed-arc Petri nets

Timed-arc Petri nets (TAPNs) are a timed extension of Petri nets where tokens are assigned an age indicating the time elapsed from its creation, and PT-arcs (place to transition arcs) are labelled with time intervals that are used to restrict the age of the tokens that can be used to fire the adjacent transition. This is a rather pathological model, as reachability is undecidable, whereas some other known properties of Petri nets, like boundedness, coverability and even termination, are decidable. This article focuses on the problem of detecting dead transitions, i.e. transitions that can be removed from the model since they can never become enabled. We prove that this problem is decidable for TAPNs with natural times, and we present an algorithm that can be used to find dead transitions in the particular case of 1-safe TAPNs.     

Scheduling of piecewise constant product flows: A Petri net approach

Scheduling a manufacturing system is usually an NP-hard problem. This means that only heuristic algorithms can be used to provide near-optimal schedules. In this paper, we show that a manufacturing system can be modeled using a particular type of Petri nets, called Controllable-Output nets, or CO nets for short. These Petri net models are then used to introduce a two-stage scheduling algorithm for problems in which the product flows can be considered as piecewise constant. The first stage consists of distributing the workload among the resources. The second stage derives a schedule from the resource workload. The deterministic case is considered. Numerical results are proposed.     

Modeling job shop scheduling with batches and setup times by timed Petri nets

Batch and setup times are two important factors in practical job shop scheduling. This paper proposes a method to model job shop scheduling problems including batches and anticipatory sequence-dependent setup times by timed Petri nets. The general modeling method is formally presented. The free choice property of the model is proved. A case study extracted from practical scheduling is given to show the feasibility of the modeling method. Comparison with some previous work shows that our model is more compact and effective in finding the best solution.     

一个三级物流系统的运送策略优化问题

主要考虑一个三级物流系统的运送策略优化问题,系统由多个供货商、多个客户和一个中央仓库组成.假定两级库存均采用周期补货策略,每个客户处的产品需求为确定性需求.假设给定一套可行频率的情况下,选择使整个系统总的长期平均成本最小化的仓库的补货策略和仓库到各客户的配送策略.根据两个支配性质构造了一个列举优化算法,计算试验讨论了该算法的有效性.     

Timed Petri nets and prediction to improve the Chandy–Misra conservative-distributed simulation

The main contribution of this paper shows that distributed simulation of timed Petri nets (TPN) can take advantage of their structure to obtain a significant lookahead which is usually difficult to compute with other models. In this paper, we introduce a conservative-distributed simulation with a reduced number of control messages and without deadlock resolution. This approach is based on a part of optimism computed on the prediction time each logical process can determine for its advancement. Obviously this prediction time must be computed easily according to the structure of the simulated logical process. Timed Petri nets meet these requirements and we use their structure to evaluate the depth of the prediction. In conservative-distributed simulation, it is known that the deeper the prediction, the better the efficiency of the simulation. We present a method we have devised based on channel time prediction. We compare its performance to the Chandy–Misra method and to some related Petri nets approaches (Chiola). Experiments carried out on Sun stations show that there is more parallelism and a reduced number of null messages in the cases of deadlock avoidance. Moreover, considering deadlock detection and resolution technique we observe that in many cases no deadlock occurs with less control messages.     

Encoding the dynamics of deterministic systems

We present a model for the dynamics of discrete deterministic systems, based on an extension of the Petri nets framework. Our model relies on the definition of a priority relation between conflicting transitions, which is encoded by orienting the edges of a transition conflict graph. We provide a characterization in terms of a local consistency condition of those deterministic systems whose dynamic behavior can be encoded using our approach. Finally, we consider the problem of recognizing when an orientation of the transition conflict graph is valid for encoding the dynamic behavior of a system.     

Scheduling service in tandem queues attended by a single server

Consider a tandem queue model with a single server who can switch instantaneously from one queue to another. Customers arrive according to a Poisson process with rate λ . The amount of service required by each customer at the i^th queue is an exponentially distributed random variable with rate μ_i. Whenever two or more customers are in the system, the decision as to which customer should be served first depends on the optimzation criterion. In this system all server allocation policies in the finite set of work conserving deterministic policies have the same expected first passage times (makespan) to empty the system of customers from any initial state. However, a unique policy maximizes the first passage probability of empty-ing the system before the number of customers exceeds K, for any value of K, and it stochastically minimizes (he number of customers in the system at any time t > 0 . This policy always assigns the server to the non empty queue closest to the exit     

Symmetries in timed continuous Petri nets

The dynamics of timed continuous Petri nets under infinite server semantics can be expressed in terms of a piecewise linear system with polyhedral regions. In this article, Petri nets with symmetries are considered where symmetry is understood as a permutation symmetry of the nodes. We establish connections between the qualitative dynamical behavior of the continuous marking and the symmetries. In particular, it is shown that such a symmetry leads to a permutation of the regions and to equivariant dynamics. This allows us to identify special flow-invariant sets which can be used for reductions to systems of smaller dimension. For general piecewise linear systems with polyhedral regions, it is shown that equivariant dynamics always implies a permutation of the regions.     

Optimal allocation of stock levels and stochastic customer demands to a capacitated resource

This paper considers a new class of stochastic resource allocation problems that requires simultaneously determining the customers that a capacitated resource must serve and the stock levels of multiple items that may be used in meeting these customers’ demands. Our model considers a reward (revenue) for serving each assigned customer, a variable cost for allocating each item to the resource, and a shortage cost for each unit of unsatisfied customer demand in a single-period context. The model maximizes the expected profit resulting from the assignment of customers and items to the resource while obeying the resource capacity constraint. We provide an exact solution method for this mixed integer nonlinear optimization problem using a Generalized Benders Decomposition approach. This decomposition approach uses Lagrangian relaxation to solve a constrained multi-item newsvendor subproblem and uses CPLEX to solve a mixed-integer linear master problem. We generate Benders cuts for the master problem by obtaining a series of subgradients of the subproblem’s convex objective function. In addition, we present a family of heuristic solution approaches and compare our methods with several MINLP (Mixed-Integer Nonlinear Programming) commercial solvers in order to benchmark their efficiency and quality.     

An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions

Stochastic marked graphs, a special class of stochastic timed Petri nets, are used for modelling and analyzing decision-free dynamic systems with uncertainties in timing. The model allows evaluating the performance of such systems under a cyclic process. Given the probabilistic characteristics of the transition times, the cycle time of the system can be determined from the initial marking. In this contribution, we compute an upper bound on the cycle time of a stochastic marked graph in case the probabilistic characteristics of the transition times are not fully specified.     

A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts

The behavior of timed continuous Petri nets (TCPN) can be ruled by linear equations during certain time elapses (IB-states), but changes in the marking and conflict solving policies make nonlinear the complete computation of the behavior. In this paper a global characterization of the switching behavior of TCPN through Mixed Linear Integer Programming (MLIP) is presented. The contribution is an analytical technique to compute the evolution graph of a TCPN, which allows deriving MLIP problems from TCPN models including cycles and structural conflicts; conflict resolution policies by priorities and sharing are considered.     

考虑等待提示策略的呼叫中心流体近似方法

向顾客公布需等待的排队时间用以缓解系统拥挤是目前呼叫中心运营管理的重要手段之一。为了有效刻画等待提示策略下顾客行为变化对呼叫系统性能的影响,采用流体近似方法建立了呼叫排队系统模型。首先,通过排队分析构造等待提示影响下排队行为框架,包含带有心理行为变化特征的多种行为要素概率函数;其次,利用流体方法构建了考虑顾客重拨影响的连续排队模型,并求解了稳态条件下的系统性能指标;最后,通过与仿真模型的对比,验证了该流体近似方法的有效性与精确性。研究结果对于带有等待时间提示的呼叫中心运营具有重要指导作用。     

A framework for solving network revenue management problems with customer choice behavior

Revenue management is the process of understanding, anticipating and influencing consumer behavior in order to maximize revenue. Network revenue management models attempt to maximize revenue when customers buy bundles of multiple resources. The dependence among the resources in such cases is created by customer demand. Network revenue management can be formulated as a stochastic dynamic programming problem whose exact solution is computationally intractable. Solutions are based on approximations of various types. Customer choice behavior modeling has been gaining increasing attention in the revenue management. A framework for solving network revenue management problems with customer choice behavior is proposed. The modeling and solving framework is composed from three inter-related network structures: basic network model, Petri net, and neural net.     

一类多对多物流系统的运送频率选择优化问题研究

多供应商多客户物流系统的周期运送库存决策问题是一个非常复杂的问题,但它在供应链管理中又极其重要.本文主要考虑一个由多个供应商、一个联运中心和多个客户组成的三级物流系统的运送频率选择优化问题.假定两级库存均采用周期补货策略,且补货周期满足二次幂(POT)策略,每个客户处的产品需求为确定性需求.假设给定一套可行频率的情况下,选择使整个系统总的长期平均成本最小化的联运中心的补货策略和联运中心到各客户的配送策略.分为单频率配送和多频率配送两种情况分别建立了数学模型,并设计了相应的近似算法——基于支配性的邻域搜索启发式算法和基于饱和性的邻域搜索启发式算法.计算试验显示,本文所设计的近似算法对于求解多对多配送这样的大型组合优化问题是有效的.     

Approaching minimum time control of timed continuous Petri nets

This paper considers the problem of controlling timed continuous Petri nets under infinite server semantics. The proposed control strategy assigns piecewise constant flows to transitions in order to reach the target state. First, by using linear programming, a method driving the system from the initial to the target state through a linear trajectory is developed. Then, in order to improve the time of the trajectory, intermediate states are added by means of bilinear programming. Finally, in order to handle potential perturbations, we develop a closed loop control strategy that follows the trajectory computed by the open loop control by calculating a new state after each time step. The algorithms developed here are applied to a manufacturing system.     

Delay analysis of a two-class batch-service queue with class-dependent variable server capacity

In this paper, we analyse the delay of a random customer in a two-class batch-service queueing model with variable server capacity, where all customers are accommodated in a common single-server first-come-first-served queue. The server can only process customers that belong to the same class, so that the size of a batch is determined by the length of a sequence of same-class customers. This type of batch server can be found in telecommunications systems and production environments. We first determine the steady state partial probability generating function of the queue occupancy at customer arrival epochs. Using a spectral decomposition technique, we obtain the steady state probability generating function of the delay of a random customer. We also show that the distribution of the delay of a random customer corresponds to a phase-type distribution. Finally, some numerical examples are given that provide further insight in the impact of asymmetry and variance in the arrival process on the number of customers in the system and the delay of a random customer.     

Economies of scale,competitiveness, and trade patterns within the European community: Clarendon Press,Oxford, 1983, 193 pages, £20.00

We consider two queues in series with input to each queue, which can be controlled by accepting or rejecting arriving customers. The objective is to maximize the discounted or average expected net benefit over a finite or infinite horizon, where net benefit is composed of (random) rewards for entering customers minus holding costs assessed against the customers at each queue. Provided that it costs more to hold a customer at the first queue than at the second, we show that an optimal policy is monotonic in the following senses: Adding a customer to either queue makes it less likely that we will accept a new customer into either queue; moreover moving a customer from the first queue to the second makes it more (less) likely that we will accept a new customer into the first (second) queue. Our model has policy implications for flow control in communication systems, industrial job shops, and traffic-flow systems. We comment on the relation between the control policies implied by our model and those proposed in the communicationa literature.