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

Abstract : 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.
Type de document :
Rapport
[Research Report] RR-1908, INRIA. 1993, pp.25
Liste complète des métadonnées

https://hal.inria.fr/inria-00074765
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:15:57
Dernière modification le : samedi 17 septembre 2016 - 01:06:48
Document(s) archivé(s) le : mardi 12 avril 2011 - 19:12:56

Fichiers

Identifiants

  • HAL Id : inria-00074765, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

115

Téléchargements de fichiers

75