Keyword: petri nets

Found 82 papers in total
Petri net modelling and design of task oriented messaging system for robot control
1998,
Manufacturing Message Specification (MMS) is an international standard for shop floor...
A new class of a high-level Petri net for modelling logical OR efficiently: Coloured AND/OR Petri nets (CARPN)
2000,
In Petri nets (PN), because all the input places of a transition are connected to each...
Temporized coloured Petri nets with changeable structure for performance modelling of dynamic production systems
2000,
One of the difficulties in modelling dynamic production systems is the representation...
A Petri net approach to early failure detection and isolation for preventive maintenance
1998,
To improve preventive maintenance, this study uses a hybrid Petri net modelling method...
A coupling technique for stochastic comparison of functions of Markov processes
2000,
The aim of this work is to obtain explicit conditions (i.e., conditions on the...
A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing
2000,
Developing a flexible manufacturing system (FMS) controller is a complicated task both...
Transient and stationary waiting times in (max, +)-linear systems with Poisson input
1997,
We consider a certain class of vectorial evolution equations, which are linear in the...
Stochastic coloured Petri net models of traditional and flexible kanban systems
1999,
Modelling and analysis of kanban-controlled (just-in-time) production systems under...
An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models
1999,
A new analysis technique for large continuous time Markov chains resulting from...
Solving scheduling problems using Petri nets and constraint logic programming
1998,
This paper presents an approach to solve scheduling problems from a Petri net model. A...
Fluid stochastic Petri nets: Theory, applications, and solution techniques
1998,
In this paper we introduce a new class of stochastic Petri nets in which one or more...
On closed support T-invariants and the traffic equations
1998,
The traffic equations are the basis for the exact analysis of product form queueing...
Petri net models for message manipulation and event monitoring in a flexible manufacturing system cell
1998,
A shop floor control system (SFCS), the central part of a computer integrated...
The numerical solution of stochastic automata networks
1995,
Stochastic Automata Networks (SANs) have recently received attention in the literature...
Design of a rule-based flexible manufacturing system controller using modified IDEF0 methodology
1997,
This article proposes a new method to design a rule-based FMS controller. This...
A heuristic solution approach to the machine loading problem of an FMS and its Petri net model
1997,
A loading problem in a modern FMS is the allocation of a job from the job pool...
Petri net based scheduling
1996,
Timed Petri nets can be used to model and analyse scheduling problems. To support the...
Petri net models of flexible and automated manufacturing systems: A survey
1996,
Petri nets (PNs) have recently emerged as a promising approach for modelling flexible...
Mean-value analysis for a class of Petri nets and batch-movement queueing networks with product-form equilibrium distributions
1995,
A number of recent papers have shown that there are classes of queueing networks, with...
Production management in a Petri net environment
1995,
The objective of this paper is to show that Petri nets facilitate a comprehensive...
Modular synthesis of Petri nets for modeling flexible manufacturing systems
1995,
This paper proposes a modular Petri net synthesis method for modeling flexible...
A general formulation of mean-value analysis in product-form batch-movement queueing networks
1994,
A number of recent papers have shown that many classes of queueing networks with...
Information-systems for integrated manufacturing (INSIM)-A design methodology
1991,
Full control and management of information flow in manufacturing has not yet been...
Performance evaluation of tandem and conventional AGV systems using generalized stochastic Petri nets
1994,
This paper investigates the different policies and concepts followed in the traffic...
Papers per page: