A Class of conflict-free Petri nets used for controlling manufacturing systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1993

A Class of conflict-free Petri nets used for controlling manufacturing systems

G. Harhalakis
  • Fonction : Auteur
M. Leventopoulos
  • Fonction : Auteur
C.P. Lin
  • Fonction : Auteur
R. Nagi
  • Fonction : Auteur

Résumé

This paper is devoted to the behavior evaluation and management of non-cyclic discrete systems and in particular manufacturing systems. We introduce a special type of Petri nets called CFIOs (Conflict Free nets with Input and Output transitions). It is shown that CFIOs are live, and if consistent, they can be kept bounded and are reversible. We also develop reduction rules which facilitate the computation of the t-invariants of CFIOs. We then show how to take advantage of the qualitative properies of CFIOs to perform planning in manufacturing systems. Numerical examples illustrate these approaches.
Fichier principal
Vignette du fichier
RR-1908.pdf (1.05 Mo) Télécharger le fichier

Dates et versions

inria-00074765 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074765 , version 1

Citer

G. Harhalakis, M. Leventopoulos, C.P. Lin, R. Nagi, Jean-Marie Proth. A Class of conflict-free Petri nets used for controlling manufacturing systems. [Research Report] RR-1908, INRIA. 1993, pp.25. ⟨inria-00074765⟩
73 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More