Putting high-level Petri nets to work in industry

Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practive extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petri net model. This approach has been used to model and analyze a variety of systems in application domains ranging from logistics to office automation.