This paper proposes an implementation of a modular system paradigm (motivation. statement and architecture) based on Discrete Event System Specification (DEVS) formalism and Petri nets. Using Petri nets, an algebraic approach is made to modelling discrete event systems at the structure level of system specification. This is a systematic method suppoting the development of Petri nets-based models. It could be viewed as an alternative method to the graphical constructions enabled by the Petri nets formalism, which will allow a concise representation of large complex systems. Current research results in defining a model base concept, the atomic components of which specifically interpret the standard entities of the concerned discrete event system, are also presented. The paper dwells upon the limited number of components of the first layer of the model base. which generally will do for a wide range of discrete production systems. A step-by-step synthesis procedure of a new model results from using two available composition rules and the enhanced ability of mastering various ways of managing resources: scheduling, routing. etc. A practical example is provided to show how this formal approach does work.
Petri nets (PN). composition rules. production systems, repository model base
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).