Publication Details
OOPN and DEVS Formalisms for System Specification and Analysis
simulation-based design; Object-Oriented Petri Nets; DEVS;
The paper describes an approach to Simulation Based Design (SBD) of systems,
which combines design models with simulation models. Obviously, a system
representation allowing simulation analysis differs from design models and have
to be generated or the design formalism has to be extended by special formalism.
The presented approach uses formalisms which can be used for system design as
well as system analysis. It uses high-level Petri nets, objects and
systems-theoretic approach represented by DEVS formalism. The paper outlines the
design methodology of SBD based on the formalism and demonstrates a technique of
simulation analysis on the simplified example.
@inproceedings{BUT35626,
author="Radek {Kočí} and Vladimír {Janoušek}",
title="OOPN and DEVS Formalisms for System Specification and Analysis",
booktitle="The Fifth International Conference on Software Engineering Advances",
year="2010",
pages="305--310",
publisher="IEEE Computer Society",
address="Los Alamitos",
isbn="978-0-7695-4144-0"
}