Behavioral specification of the logic controllers by means of the hierarchical configurable Petri nets*

The paper introduces hierarchical configurable Petri nets theory, strictly based on the interpreted Petri nets. The application of a new method of specification simplifies the exceptions handling mechanism modeling in the Petri net notation. A simple manufacture process and its logic controller specification illustrate practical use of the new model.