A Systematic Approach to the Synthesis of Petri-nets Simulation Models (and Adjoint Experimental Frames) of Discrete-event Systems

摘要

In this paper a systematic (step-by-step) approach, that fits to the Systems Specification methodology and DEVS formalism, is presented as for as it concerns primitive models associated on the abstract level to experimental frames and the synthesis of compound Petri-nets models and experimental frames.