A CLASS OF PETRI NETS FOR MANUFACTURING SYSTEM INTEGRATION

This paper introduces a class of Petri nets which are reversible, live , and can be kept bounded, Furthermore, these Petri nets have output t ransitions that can be fired independently from each other, These prop erties are required when modeling manufacturing systems, Another impor tant property is that the integration of models which belong to this c lass of Petri nets still belongs to the same class, assuming that the integration is performed following rules which reflect common manufact uring practice, As a result, the qualitative properties of the module models are preserved, The results obtained in this paper are expected to shed light on the design, management and control of large scale man ufacturing systems since modular approach is a way to cope with comple xity.