In: Varaiya, P.; Kurzhanski, A.B.: Discrete Event Systems: Models and Applications. IIASA Conference, pages 162-178. Springer-Verlag, 1988.
Abstract: The paper presents some basic indications on the methodological tools required in order to understand, develop and analyze Petri net based models of manufacturing systems. The steps required for the representation, analysis and simulation of the machines are described. The main technique for the logical verification of the model computing the invariants of the net is presented.